何锫 奥契塔 曾庆凯 李广元 陈火旺 钱家骅 王戟 肖增良 黄达明 项森 张福波 陆奇 陈石坤 李舟军 山岭 白文 高福安 马素霞 江明德 郭宇 蒋信予 林春晓 王稚慧 贲可荣 康立山 李梦君 陈意云 唐稚松 李卫华 李隆

语法分析树 Hoare逻辑 生成子 产生器 高可信软件 依赖集 数据存储 霍尔逻辑 并行调度 携带证明的代码 模型 程序分片 循环不变式 子句 定理证明 依赖图 定理证明器 改进算法 知识库管理 动态语义 程序设计中的逻辑 垃圾收集 避免的方法 带量词的布尔公式 函数语义 虚构解方法 分离逻辑 Euler方程 指针 四舍五入