Qualified C Programming
在此特别感谢所有团队成员和合作的老师同学对 QCP 的贡献，以下页面汇总相关成员与主要工作方向。
曹钦翔老师
李卷孺老师
吴熙炜
陆潇扬
QCP 1.0 版前端语言实现、类型推断、符号执行。
冯跃洋
QCP 1.0 版符号执行与工具 soundness proof 构建。
王治奕
QCP 中可定制的分离逻辑求解器、QCP 2.0 版符号执行。
钟泓逸
QCP 中可定制的分离逻辑求解器、QCP 2.0 版符号执行、QCP MCP。
谢立汉
QCP 内置求解器、QCP 的 Lean 库。
吴姝姝
QCP 中的关系型霍尔逻辑支持。
方屹
QCP 的断言处理。
林田川
QCP 符号执行、soundness proof 构建。
刘衎
分离逻辑基础库、QCP 中的关系型霍尔逻辑支持。
刘祺
QCP 的 Lean 库。
刘思雨
QCP 的断言处理。
陶浥尘
分离逻辑基础库。
王栎翔
QCP 2.0 版符号执行。
王瀚洋
QCP MCP。
杨承羲
QCP 符号执行、QCP 中的关系型霍尔逻辑支持、QCP 的 VSCode 插件。
张子涵
QCP 网页端。
另外特别感谢詹乃军老师、胡振江老师和郁昱老师对 QCP 工具及其应用的指导， 特别感谢王钦石、董弈伯、周李韬、秦健行、王中烨、唐亚周、陈彦宁和刘涵之等同学 在项目前期探索方面做出的贡献。