计算机软件新技术国家重点实验室(教育部南大)

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

1993年通过第一次评估，1997年通过第二次评估, 2002年3月通过第三次评估。

本实验室主要研究以智能化、主体化、并行化、网络化、自然化、自动化等为主要标志的软件新技术，按照"研究力求原创，技术取得突破，成果促进产业"的指导思想，结合国家在信息化建设方面的需求，在计算机软件新技术方面形成特色和优势，力争使本实验室成为具有一定国际影响的软件新技术的研究与开发基地，为促进中国软件产业的发展做出贡献。

实验室主要研究方向为: 1. 软件自动化与形式化；2. 分布计算与并行处理；3. 系统软件及信息安全；4. 新型程序设计与方法学；5. 多媒体与人工智能。

徐家福教授任实验室名誉主任，吕建教授任实验室主任，费翔林教授任实验室副主任，孙钟秀院士任学术委员会主任，杨芙清院士和谢立教授任学术委员会副主任。

截至2003年底,本实验室共承担"973"计划项目2项，"863"计划项目68项，国家攻关项目32项，攀登计划项目1项、国家自然科学基金项目35项，省部委、国际合作与横向协作等254项。

共发表论文2113篇，其中国外刊物184篇，国内重要刊物1046篇。

SGI检索论文83篇。

相关成果得到了国际同行的关注和承认。

例如，在软件自动化与形式化方面的多篇论文被美国、德国、法国、荷兰、日本、以色列和芬兰等国的学者在包括国际著名刊物，如Journal of ACM（影响因子在计算机软件领域排名第一）、Information and Computation、Lecture Notes in Computer Science等学术刊物上多次引用近40次。

在神经网络技术及其应用方面的相关论文发表在人工智能领域最有影响力的国际会议IJCAI-01（该系列会议创立于1969年）上，评审人认为该项成果"very significant, very original"，并获最佳论文奖提名，这是中国大陆学者自1969年IJCAI创立以来首次获此荣誉。

此外，还出版学术专著31部。

自实验室创建以来，共获国家和省部级奖励56项，其中，国家科技进步二等奖3项，三等奖1项，省部级特等奖2项，省部级一等奖7项，二等奖20项。

此外，两部学术专著分别获得国家教育部优秀教材一等奖。

人才培养坚持严谨、求实和创新；基地建设坚持开放、流动和联合；梯队建设
坚持结构合理和精干高效。

目前已初步形成学科覆盖面广、人才培养与科学研究具有特色、基地建设与梯队建设相互促进、基本适应国际软件新技术发展和我国经济与社会发展需求、在国内外有一定影响的人才培养与科研基地。

实验室现有固定研究人员40人，其中中科院院士1人，博士生导师21人，教授26人。

其中45岁以下教授13人，博士生导师9人；具有博士学位的研究人员21人。

实验室主要研究方向均具有水平较高的学术带头人和青年群体，涌现出一批学术中坚，分获"跨世纪优秀人才培养计划"基金和"国家杰出青年科学基金"的资助及被聘任为"教育部长江学者特聘教授"，业已形成一支目标明确，富有干劲，能够攻坚的老、中、青相结合的科研队伍。

在学术交流方面，先后与英、美、日、法、新加坡、韩、加、澳等十几个国家以及港澳地区建立了合作科研，合作开发，联合培养研究生的关系，还召开国际和国内学术会议，这些合作活动与学术交流对扩大我室在国际上的影响，提高学术水平，拓宽研究领域和了解前沿研究动态等发挥了很大作用。

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

学术委员会主任及成员名单
学术委员会主任孙钟秀教授、院士
学术委员会副主任：杨芙清教授、院士谢立教授
姓名性别职称学委会职
务
所在单位
朱三元男教授委员上海计算机软件中心吕建男教授委员南京大学计算机软件所孙钟秀男教授,院士主任南京大学计算机系
孙吉贵男教授委员吉林省长春吉林大学前卫校
区计算机系
杨芙清女教授,院士副主任北京大学计算机科技系陆汝钤男教授,院士委员北京中关村数学所
陈火旺男教授,院士委员湖南长沙国防科技大学计算
机系
陈克非男教授委员上海交通大学计算机系赵沁平男教授委员北京航空航天大学计算机系周立柱男教授委员北京清华大学计算机系
钱德沛男教授委员北京航空航天大学计算机系
费翔林男教授委员南京大学计算机系
谢立男教授南京大学计算机系
董韫美男教授,院士委员北京中关村中科院软件所孙永强教授、王鼎兴教授、鞠九滨教授和陈涵生教授特聘为本实验室学术委员会名誉委员。

研究方向
软件自动化与形式化
分布计算与并行处理
操作系统与网络安全
新型程序设计与方法学
智能多媒体软件
名誉主任徐家福教授
主任吕建教授
副主任费翔林教授
主任助理王静英（行政与学术活动）杨献春（技术与装备）
学术秘书张建莹
第一研究室10人，研究方向：软件自动化与形式化、新型程序设计
第二研究室11人，研究方向：分布计算与并行处理、系统软件
第三研究室13人，研究方向：人工智能与多媒体技术
技术室5人
吕建教授，博士生导师，计算机软件新技术国家重点实验室主任。

1960年3月生，1982年毕业于南京大学计算机系，1988年获博士学位，1993年－1994年在英
国曼彻斯特大学计算机系作为访问学者。

1995年在联合国大学澳门国际软件研究所
从事研究工作。

现任南京大学计算机科学与技术系副主任，计算机软件研究所副所
长，中国计算机学会理事和江苏省计算机学会理事。

研究方向包括软件自动化、面
向对象语言与环境和并行程序的形式化方法。

曾参加国家重点项目11项。

获国家教
委科技进步一等奖二次，国家教委科技进步二等奖一次，获江苏省科技进步二等奖
一次，光华科技三等奖一次，完成论文40余篇。

发表在《JournalofSystemsandSoftware》、《AnnualsofSoftwareEngIneerIng》、《ACMSIgplanNotIces》、《ACMSoftwareEngineerIngNotes》、《中国科学》等刊物上。

合著专著《软件自动化》获国家教委学术著作优秀奖和优秀教材一等奖。

1990年被授予“做出突出贡献的中国博士学位获得者”称号。

1993年获霍英东青年教师奖。

1994年进入“国家教委跨世纪优秀人才计划”。

1995年获江苏省青年科技奖。

1995年获“国家杰出青年科学基金”资助。

1996年获首届江苏省青年科学家奖(提名奖)；1996年获中国青年科技奖。

费翔林，教授。

生于1941年，1964年毕业于南京大学。

1993年至1994年在美国伊利诺州伊利诺Urbana-Champaign分校，以访问学者身份进修，现任计算机软件
新技术国家重点实验室副主任。

目前从事面向对象软件工程和操作系统研究。

曾先
后参加或负责10个项目的研制，获部、省级奖5次，迄今，发表论文70余篇。

杨献春，南京大学计算机软件新技术国家重点实验室技术主管，江苏省计算机学会理事，江苏省微型电脑应用协会理事。

从事过计算机系统软件和网络应用系统的研发以及教学与实验室管理工作。

先后参加国家和江苏省重大科技攻关和其它省、部级科研项目多项，科研成果获国家科技进步奖贰等奖3项，省、部级特等奖1项，贰等奖2项,叁等奖1项。

个人还获得校级教学和实验室工作奖励多次。

发表科技论文10余篇，合作出版著作1部。

1997年被评定为南京大学中青年骨干。

目前兼任南京大学计算机科学技术系副主任，南京大学实验室建设与管理委员会委员，南京大学仪器设备采购招标领导小组成员，南京大学仪器设备审核专家组成员，南京大学计算机软件管理专家组成员，江苏省计
算机学会副秘书长，江苏省微型电脑应用协会副秘书长，江苏省计算机青年学者论坛副秘书长。

大型仪器设备简介
=========================================以下是英文========================================= A Brief Introduction to State Key Laboratory for Novel Software Technology at Nanjing University
The State Key Laboratory for Novel Software Technology at Nanjing University began its building in 1987, based on the years of research at the Department of Computer Science and Technology and the Institute of Computer Software of Nanjing University. It was officially approved by the National Planning Commission in 1990, and has been opened to researchers all over the world since then. It passed three official evaluations in 1994 ,1997, and 2002 respectively.
In the Laboratory, efforts have been focused on new computer software technology characterized by intelligence, autonomy, parallelism, networking, and naturalization, which is not only at the frontier in the field of computer science and technology, but also of great importance to the national economy. Among the main research directions are: 1. software automation and formal methods; 2. distributed computing and parallel processing; 3. system software and network security; 4. new-style programming and methodology; 5. intelligent multimedia software.
Now Professor Xu Jiafu is the Honorary Director of the laboratory, Professor Lu Jian is Director of the laboratory, and Professor Fei Xianglin is the vice Director. Professor Sun Zhongxiu is the chairman of the academic committee of the Laboratory, and Professors Yang Fuqing and Xie Li are the
vice chairmen.
By the end of 2003, more than 392 projects had been completed in the laboratory, among which 70 were national Hi-Tech (973 or 863) Projects, 35 were key projects of national Five-year Plan , and 35 were supported by the National Science Foundation. During the same period, 1230 papers and 31
books had been published, among which many appeared in international journals, such as Communications of the ACM, IEEE Transactions on Software Engineering, IEEE Transactions on Parallel and Distributed Systems, IEEE Transactions on Computers, Theoretical Computer Science, Artificial Intelligence, etc. More than 56 projects and books were awarded, including 3 second-prizes and 1 third-prize at national level, and 9 first-prizes and 20 second-prizes at ministerial or provincial
level.
There are 40 full-time researchers by the end of 2003. Among them, one is academician of Chinese Academy of Sciences, 21 are Ph.D. supervisors, and 26 are full professors. In recent years, there have emerged a group of young researchers with brilliant academic achievements, among whom some are recipients of grants from the National Fund for Prominent Young Scientists and under the Trans-Century Talented Persons Fostering Program of the State Education Ministry. Senior computer scientists and talented young researchers are cooperating to make a strong fleet to meet new challenges.
International academic connections have been established between the laboratory and research institutes in many countries and areas such as Great Britain, the United States, Japan, France, Germany, Singapore, Korea, Canada, Australia, Hong Kong and Macao, featuring cooperative research and
development as well as jointly training graduate students.
By promoting the cooperation between researchers with different background, we are trying to make the laboratory an important research base in China and a window opened to the world for academic exchange. The Regulations on Application & Management of the Special
Fund for Visiting Scholars
The State Key Lab. for Novel Software Technology Nanjing University
The Regulations on the System of Visiting Scholars to State Key Laboratories was put into effect in1999 according to the [1999] No.5 file of “Suggestions on Practicing the Visiting Scholar System in State Key Laboratories in Institutions of Higher Learning and Key Laboratories Approved by the State Educational Ministry” in the People’s Republic of China with a view to increase the opening benefit of key subjects in institutions of higher learning, to promote the academic exchanges both home and abroad, to raise the research level of key labs and to accelerate the construction of advanced subjects and the cultivation of people of extraordinary ability.
The Regulations on Application & Management of the Special Fund for Visiting Scholars to the State Key Lab. for Novel Software Technology at Nanjing University are stated as follows:
∙ Time of Application Receiving
Applications are received twice every year. The first receiving period ends by February 28th and the second by August 30th. The received application materials will be reported to the Foundation Office of the Educational Ministry for approval in the middle of March and September respectively. The list of the approved subsidized visiting scholars and the line of funds will be announced in the middle of April or October.
∙ Qualifications of Applicants
Visiting scholars to our lab are divided into 3 types, scientific and technological experts overseas, from other parts of china not counting Nanjing University and at Nanjing University. Excellent young or middle-aged experts are especially welcomed.
∙ Application Materials
Filling the application form for visiting scholars (as shown in the attachment)
Resume (in which research achievements shall be included)
∙ Allotted Working Time
The allotted working time in the key lab for visiting scholars overseas, from other parts of china not counting Nanjing University and at Nanjing University should last at least 3, 6 and 9 months respectively.
Visiting scholars shall hand in their proposals on their arrival to the lab and put in brief summaries on the research work in the end.
∙ Line of Funds
The line of funds vary from ￥50 000 to ￥100 000 of which 30% is used for the improvement of the working conditions in the key lab and 70% for research expenditure and cost of living. The 70% covers the cost for domestic or international travels, business on domestic investigations and academic conferences, the usage of instruments and equipments, experimental materials, and academic materials, extra allowance for living expenses and so on.
Living and Working Conditions
Lodgings, offices, computers, web surfing and etc. are provided.
∙ Research Achievements
Subsidized visiting scholars should complete at least 1 to 2 SCI papers within the allotted working time and sign in all their research achievements including papers, works, and research reports finished in this period the first unit they are subjected to as 南京大学计算机软件新技术国家重点实验室 (in Chinese) or the State Key Lab. for Novel Software Technology at Nanjing University (in English) and indicate as well “高等学校重点实验室访问学者基金资助” (in Chinese) or “Supported by Visiting Scholar Foundation of Key Lab. in University” (in English).
∙ Means of Contact
Address:
Wang Jingying
the State Key Lab. for Novel Software Technology
Nanjing University
Nanjing, 210093
Jiangsu
P.R.C.
Tel:+86-025-*******, 025-*******
Fax:+86-025-*******, 025-*******
Homepage:
E-mail:keysoftlab@。