邬杨波 刘明业 罗文辉 王红卫 袁媛 张广泉 朱福喜 张海宾 朱维军 张燕 贺前华 李宏 胡建平 韦岗 雷升印 林俊昌 何峰 许庆国 周清雷 姚剑 韩光鹏 杨琛 孙晓梅 陆以勤 毋国庆 王小兵 梁陈良 何勇 徐宝文 段振华

自动机 语义 定理证明 可计算性与判定性 并发模型 程序性质 统一逻辑框架 命题投影时序逻辑 测试用例 需求分析 XYZE 模型检测 安全协议 分析法 CPL电路 可视化建模支持 低功耗技术 安全性 不变量 谓词逻辑 Petri网 实时系统 模型表示 控制器综合 并行计算 CNC软件 RTL综合 SSI和MSI（小规模及中规模集成电路）:逻辑设计 入侵检测 着色Petri网