李长云 冯媛 曾晋 唐中君 史忠植 初宁 刘旭东 朱名勋 薛锦云 杨鲲 怀进鹏 甘勇 王竹晓 黄达明 孙海龙 郭长国 朱俊 任晓慧 刘书如 万灿军 石海鹤 邓婷 曾庆凯 贺蕾 蔡增玉 李光亚 罗新星

离散事件系统 分离逻辑 软件复用 行为可信 可信网络连接 软件生产线 软件保护模型 动态演化 程序验证 等级化度量 霍尔逻辑 中间件 行为监控 组合服务 元需求 Web服务 运行时监控 软件工程 定理证明 可信计算平台 软件构件 动态描述逻辑 信息安全 规约 可信计算 软件可信树 故障诊断 需求分析 PAR 算法