李西明 蒋郁 徐家福 舒继武 陆国栋 黄长林 薛锦云 陈晓峰 李建江 赵华伟 胡乃静 吕建 唐成华 陆维明 余顺争 陈永健 张民 高虎明 杨庆红 顾宁 郭文彩 李师贤 明仲 李云清 蔡树彬 施伯乐 郑纬民 李大兴 彭群生 郭玉彬

可靠性 自动确认 正确性准则 异常 活性 安全性 可验证性 性能 DNA计算 清晰性 一致性 开发模式 事务执行 完整性 软件自动化 尺寸标注 自动化测试 集合 符号方法 序列 动态并行区 安全域 三维空间 交互模式 Petri网 计算方法 分治思想 可复用部件 OpenMP 归纳学习