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