董渊 张素琴 任恺 苏宏谋 袁崇义 杨萍 杨良怀 田金兰

继承反常 模块化验证 转动机械 分析 字节码 移植 故障 知识库 并发性 渐增式继承 非确定知识推理 征兆 专家系统 GAS 汇编器 范畴论 推理机 已验证虚拟机 面向对象 类Hoare逻辑

清华大学计算机科学与技术系 甘肃兰州 兰州大学信息科学与工程学院 新加坡国立大学计算学院计算机科学系 北京大学计算机科学技术系 清华大学计算机科学与技术系软件研究所