戴静安 朱军 吴楠 吴庆曦 焦阳 钱悦晨 赖蓉 梅卫锋

汇编程序 程序设计 类型论 范畴 布尔结构 活动体 词法分析 谓词演算

江苏南京 南京大学数学系 信息产业部电子14所 解放军理工大学指挥自动化学院 南京大学软件新技术国家重点实验室 南京大学计算机软件新技术国家重点实验室