蔡自兴 李昭仁 谢武平 李舟军 杨庆红 肖晓明 李云清 王灿明 薛锦云 旷东林 马竹根 屈文建 肖燕娟 陈石坤 卢家兴 万松松

高可靠性软件 程序规范 递推关系 Nim 遗传规划 算法程序 实验系统 子程序语句 最小不动点 符号回归 PAR方法 基因表达式编程 程序验证 随机算法 形式化 谓词抽象 程序设计方法 程序设计 程序的形式推导方法 Hoare逻辑 范畴论 递归 带量词的布尔公式 单亲遗传算法 组合游戏