张磊 史成荣 李兆鹏 邢鹏 李凡 于海亮 金心宇 袁丽娜 华保健 孙东海 王炳同 吴年 刘玉宇 唐军 宋方敏 王笑丹 章献民 田翔 侯守全 陈意云 程海鹰 徐永谦 饶维 谢煜锋 张斌 胡荣贵 王虹 曹益华 郭帆 胡润涛

扩展的控制流图 应用关系 类型注解 窗体 高速以太网 ID约束检查 具体化 携带证明的代码 模拟信号 建模与仿真 包装 软件安全 多重匹配 模型 移植 量化 移动代码 目标跟踪 索引 Teleform 探索性分析 类型安全 类型检查 安全策略 状态分类 内存管理 谓词计算 Hoare逻辑 LabVIEW DTD

中国科学院计算机科学重点实验室 中国科学技术大学计算机科学与技术系 中国科学技术大学计算机科学与技术学院 安徽合肥 中国科学技术大学计算机科学技术系 中国科学院计算机系统结构重点实验室 安徽省计算与通信软件重点实验室 浙江大学信息科学与工程学院