张卫丰 周晓宇 吴方君 陈振强 陈火旺 周天琳 聂长海 王璐璐

支持度函数 动态语言 动态切片 元搜索引擎 Toffoli门 Ada。 设计模式 软件建模

微软中国研发集团 南京大学计算机科学与技术系 东南大学计算机科学与工程系 解放军理工大学指挥自动化学院 东南大学计算机科学与工程学院 武汉大学软件工程国家重点实验室武汉 南京航空航天大学信息科学与技术学院 南京大学计算机软件新技术国家重点实验室