汪希时 邱军芳 孟月东 胡敬坤 段富海 黄皓 刘曙 刘磊 陈和晏 张曙光 杨勇 王红 李国亚 罗家融 王忠杰 张乃孝 梁捷红 吴宗汉 王志坚 张梅菊 朱永波 张欣 程婷 周欣 许峰 刘扬 甘朝钦 姜慧敏 曹弘 李春燕

多线程 约束满足问题 拓扑关系 协同设计 有效线程化方法 许可 MAC 等离子体裂解煤制乙炔 管理信息系统 时变映象系数 数字信号处理器（DSP） 决策研究 Lab windowsCVI 程序分析 语言开发 用户角色 冲突检测 Web GIS 过程模式 软件外包 因特网企业内部网 约束网络 相交模型 数字巨噬细胞 配置空间 数据库系统 软件体系结构 操作系统安全 专家诊断 会话

吉林大学计算机科学系 武汉大学计算中心 湖北武汉 江苏南京 IBM中国研究院 武汉大学计算机学院 北京大学数学科学院信息科学系 北京大学软件与微电子学院