薛锦云 揭安全 卢家兴 肖燕娟 杨庆红 苏昭 骆健 罗海梅 石海鹤 万松松 屈文建 杨晨 化志章 李云清 左正康 谢武平 王昌晶

知识库 递推关系 ICAI 最小不动点 形式推导 Nim 循环不变式 集合操作 面向对象程序设计 范畴论 最优编码 形式化推导 组合游戏 谓词抽象 Apla语言 教学决策 Huffman算法 Java语言 PAR平台 规约 高可靠性软件