人员
实验室现有固定研究人员57人,其中教授35人,具有博士学位的研究人员52人。中国科学院院士1人,ACM Distinguished Scientist 1人,IEEE Fellow 1人,IAPR Fellow 1人,IET/IEE Fellow 1人,教育部“长江学者”特聘教授3人,国家杰出青年科学基金获得者6人,优秀青年科学基金获得者2人,国家“百千万人才工程”第一、二层次入选者2人,国家有突出贡献的中青年专家3人,青年千人计划入选者2人,全国百篇优博获得者2人,教育部跨(新)世纪人才计划入选者17人,教育部“优秀青年教师资助计划”入选者2人,何梁何利奖科学与技术进步奖获得者1人,中国计算机学会终身成就奖获得者1人、中国计算机学会杰出教育贡献奖获得者1人、IEEE Computational Intelligence Society Outstanding Early Career Award 1人,中国计算机学会会士3人,中国计算机学会青年科学家奖获得者1人,中创软件人才奖获得者7人。
多人先后在国家973计划信息领域专家组,国家863计划信息领域专家组,核高基重大科技专项总体专家组,国家自然科学基金委员会信息领域咨询专家委员会与重大研究计划专家组,国务院学位委员会学科评议组,中国计算机学会及其专业委员会,中国人工智能学会及其专业委员会,United Nations University,International Institute for Software Technology (UNU/IIST) ,ACM China Council,IEEE南京分部,IEEE计算机学会南京分会等任职;担任了国内外学术刊物的顾问、执行主编、副主编、Associate Editor、领域编委与编委等;还担任了一系列国内外学术会议的指导委员会的主席与委员、大会(共同)主席、程序委员会(共同)主席、领域主席等。2005年“面向Internet的软件方法与技术研究”研究团队获教育部创新团队的称号。2007年该创新团队获得国家自然科学基金委员会创新研究群体基金的资助,并于2011年和2014年两次获得滚动资助。
国家杰出青年科学基金获得者,教育部长江学者,何梁何利科学与技术进步奖获得者。国家863高技术计划信息领域计算机软硬件技术主题专家组成员、副组长(十五),国家863高技术计划信息领域专家组成员(十一五),“核心电子器件、高端通用芯片及基础软件产品”科技重大专项总体专家组专家,国家自然科学基金委信息学部第四、五届专家咨询委员会委员,国家自然科学基金委员会“高可信软件基础研究”重大研究计划项目专家组成员,中国计算机学会执行副理事长,国务院学位委员会计算机学科评议组成员,教育部科学技术委员会信息学部委员,中国计算机学会软件工程专业委员会主任,联合国大学国际计算机软件研究所Board Member,《中国科学》、《科学通报》、《Journal of Computer Science and Technology》、《Frontiers of Computer Science in China》、《电子学报》、《计算机学报》、《软件学报》、《计算机研究与发展》、《南京大学学报》等编委,以及一系列国际和国内学术会议程序委员会的共同主席和委员等。
经历及成果 在英国Manchester大学计算机系、德国慕尼黑技术大学、美国Motorola公司、联合国大学国际软件研究所和香港理工大学计算机系等做访问学者或从事合作研究。
承担国家973重大基础研究计划、国家863高技术、国家科技攻关计划、国家攀登计划、国家自然科学基金和国际合作等项目二十余项,两项国家自然科学基金面上项目结题评审均被评为特优,一项自然科学基金重点项目结题评审被评为优秀,两期973课题的中期与结题评审均被评为优秀。
在《Communications of ACM》、《IEEE Transactions on Parallel and Distributed Systems》、《IEEE Transactions on Knowledge and Data Engineering》、《IEEE Transactions on Mobile Computing》、《IEEE Transactions on Systems, Man, and Cybernetics》、《 Journal of Systems and Software》、《Software Practice and Experience》、《Annals of Software Engineering》、《Information and Software Technology》、《Knowledge and Data Engineering》、《Pervasive and Mobile Computing》、《中国科学》、《电子学报》、《计算机学报》、《软件学报》等国内外重要刊物与ICSE、FSE、PerCom等重要国际会议论文集上发表论文150余篇。研究成果被30余个国家与地区的研究者在国际刊物,ICSE、FSE、PerCom、OOPSLA、ICDCS、AAMAS等重要国际会议多次引用。
申请国家发明专利21项,其中获得授权5项。先后获国家教委科技进步一等奖二次,二等奖一次,江苏省科技进步二等奖一次。
合著学术专著两部,其中学术专著《软件自动化》获国家教委学术著作优秀奖和国家教委优秀教材一等奖,学术专著《软件语言及其实现》获教育部优秀教材一等奖。