陈立前 褚伟 詹剑锋 许永丰 李彦涛 袁志斌 郑国梁 高文宇 朱以龙 曹晋阳 程虎 熊艳根 孙家广 陈火旺 樊晓聪 王昌晶 李宣东 雷梁 石海鹤 袁波 侯建民 薛锦云 李云清 郑滔 王戟 徐涛

基于模型规约 变换 参数 算法 近似算法 基于逻辑规约 可信软件 验证 建模 网络安全 评估 迁移 测试序列 模型检验 形式推导 监管 开发系统 认证 演化 形式化推导 软件工程 有向图 几何约束求解 面向对象 BRP CSPE 以太网 构件 光纤 电子商务