计算机科学国家重点实验室,计算机软件新技术国家重点实验室

计算机软件新技术国家重点实验室

计算机软件新技术国家重点实验室是在南京大学计算机科学与技术系与计算机软件研究所多年 进行软件研究的基础上，于1986年年底通过专家论证，1987年开始筹建，1990年建成并经国家验收

后对国内外开放。1994年和1997年两次通过了国家评估。

本实验室主要支持以自动化、构件化、并行化、智能化、开放化及自然化为主要标志的计算机 软件新技术。计算机软件新技术不仅是计算机科学与技术中十分重点的前沿领域，同时也是对国民经济

发展具有重大影响的高新技术。本实验室侧重基础研究并对应用软件的开发提供支持。

实验室主要研究方向为:

1.软件自动化与形式化

2.分布计算与并行处理

3.新型程序设计与系统软件

4.人工智能与多媒体技术。

本实验室现有专职研究人员23人，兼职研究人员5人，客座研究人员31人。

实验室主要研究方向均具有高水平的、国内外有影响的学术带头人。徐家福教授潜心研究计算机软件30余年，在程序设计语言、软件自动化、新型程序设计等方面造诣颇深、多有建树，已主持研制

出12个软件系统，著作甚丰，获一等奖7次，二等奖9次。中国科学院院士孙钟秀教授在分布计算、计算 机操作系统等方面造诣颇深。已主持研制出多个软件系统，著作颇多。有两次获国家科技进步奖。

博士生导师谢立教授、郑国梁教授、吕建教授、张福炎教授、陈世福教授、陈贵海教授、李宣东教授 在软件自动化与形式化、分布计算与并行处理、新型程序设计与系统软件、人工智能与多媒体技术等领域

多有建树，屡次获奖。近年来，已涌现出一批学术中坚，分别获得"跨世纪优秀人才培养计划"基金 和"国家杰出青年科学基金"的资助，吕建教授被聘任为“长江学者南京大学特聘教授”。此外，还有一批年富力强，立志于学的年轻博士。并有一些来自兄弟单位的优秀客座研究人员，业已形成一支目标明确，富有干劲，能够攻坚的老、中、青相结合

的科研队伍。此外，聘请了一批国内外有影响的专家、学者组成了学术委员会，以确保实验室研究方向 的先进性以及实验室的开放性。

实验室坚持以国际软件新技术发展趋势和解决经济和社会发展重大问题为导向；在人才培养方面，坚持严谨、求实和创新的标准；在基地建设方面，坚持开放、流动和联合的方针；在梯队建设方面，坚持结构合理和精干高效的指导思想。目前已经初步形成学科覆盖面与交叉广、高层次人才培养与科学研究具有特色、基地建设与梯队建设相互促进、能够适应国际软件新技术发展和我国经济与社会发展需求、在国内外有一定影响的人才培养与科研基地。

实验室设有实验室主任1人，副主任2人，学术委员会主任1人，副主任2人，南京大学徐家福教授 任实验室名誉主任，吕建教授(博士，博士生导师)任实验室主任，孙钟秀教授任学术委员会主任。

实验室下设软件自动化与形式化、分布计算与并行处理、新型程序设计与系统软件、人工智能与多媒体技术共四个研究室。

自实验室成立至2000年底，共发表论文1335篇，其中在国内外一级刊物发表论文622篇。出版学术著作36部。完成国家和部、省级科研项目百余项。获部省级以上奖励51项。其中国家级奖及省部级一等奖共13项、二等奖18项。

自建室以来至2000年底,共承担"863"高科技项目40项，"七.五"攻关项目12项，"八.五"攻关项目8项，

"九.五"攻关项目4项，攀登计划项目1项，国家自然科学基金、博士点基金等25项，省部委、国际合作与横向协作等156项。开放课题百余项。已培养博士后8人，博士生57人，硕士生365人，在站博士后11人，

博士生67人，硕士生217人。

先后与英、美、日、法、新加坡、韩、加、澳等十几个国家以及港澳地区建立了合作科研，合作开发， 共同培养研究生等一系列学术关系。

实验室设备配置有SGI Origin 200服务器和Sun HPC3000并行机各1台，各种SGI 工作站15台，Sun

工作站21台，Compaq/Digital工作站6台,HP工作站1台。通过实验室的ATM高速交换机联网，并经校园网联 入Internet。

本实验室提倡多学科、多技术的相互渗透，鼓励不同层次研究工作的结合和研究人员协同攻关，力求充分 利用已有的先进科研实验条件，使实验室成为国内相关研究领域的重要研究基地和进行国际学术交流的窗口。