何志均 黄文集 魏磊 李兆鹏 陆朝俊 江苏苏州215123 王志芳 谢立 李文军 余万涛 胡荣贵 商陆军 黄海军 郭帆 李师贤 孙永强 陈意云 郭宇 孙建伶 邵志清 杨继锋 葛琳 胡光锐 华保健 周晓聪

阻抗失配 测试 汇编语言 π演算 强类型 面向对象数据库 延迟计算 子类型关系 软件安全 数据结构 应用程序 子定型 类型安全 函数标签 PER模型 Hoare逻辑 类型检查 指针逻辑 多态 算法 模块系统 面向对象 函数式语言 无干扰性 移动计算 Agent 安全策略 形式语义 位置 语言设计