陶秋铭 segnjueducn 王云峰 李必信 郭亮 郑国梁 侯建民 张健 李宣东 杨朝晖 毛新军 赵琛 庞军 查鸣 刘璘

形式方法 存在量词 时序逻辑 软件Agent 面向对象 子类型 定理证明 文法归纳学习 精化演算 变量替换 形式化开发方法 形式验证 一阶谓词逻辑 程序变换 情景实例 继承 优化编译 语句重排 语句交换 实时系统 传递闭包 有限模型构造