南京大学计算机系
-
2023年2月18日发(作者：)计算机软件新技术国家重点实
验室(教育部南大)
计算机软件新技术国家重点实验室
计算机软件新技术国家重点实验室简介
计算机软件新技术国家重点实验室是在南京大学计算机科学与技术系和计算机
软件研究所多年进行软件研究的基础上于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篇。相关成果得到了国际同行的关注和承
认。例如，在软件自动化与形式化方面的多篇论文被美国、德国、法国、荷兰、
日本、以色列和芬兰等国的学者在包括国际著名刊物，如JournalofACM（影
响因子在计算机软件领域排名第一）、InformationandComputation、Lecture
NotesinComputerScience等学术刊物上多次引用近40次。在神经网络技术及
其应用方面的相关论文发表在人工智能领域最有影响力的国际会议IJCAI-01
（该系列会议创立于1969年）上，评审人认为该项成果\"verysignificant,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年被评定为南京大学中青年骨干。
目前兼任南京大学计算机科学技术系副主任，南京大学实验室建设与管
理委员会委员，南京大学仪器设备采购招标领导小组成员，南京大学仪器设
备审核专家组成员，南京大学计算机软件管理专家组成员，江苏省计算机学
会副秘书长，江苏省微型电脑应用协会副秘书长，江苏省计算机青年学者论坛副秘书长。
大型仪器设备简介
设备名称(Descript.)服务器
型号(Types)UltraHPC3000
生产厂商(Corp.)美国Sun
数量(Qty)1
设备名称(Descript.)服务器
型号(Types)
Origin200
生产厂商(Corp.)美国SGI
数量(Qty)1
设备名称(Descript.)工作站
型号(Types)Ultra30
生产厂商(Corp.)美国Sun
数量(Qty)
6
设备名称(Descript.)工作站
型号(Types)Ultra1
生产厂商(Corp.)美国Sun
数量(Qty)7
设备名称(Descript.)工作站
型号(Types)
SPARC20
生产厂商(Corp.)美国Sun
数量(Qty)7
设备名称(Descript.)工作站
型号(Types)OCTANE
生产厂商(Corp.)美国SGI
数量(Qty)2
设备名称(Descript.)工作站
型号(Types)
Indigo
生产厂商(Corp.)美国SGI
数量(Qty)1
设备名称(Descript.)工作站
型号(Types)O2
生产厂商(Corp.)美国SGI
数量(Qty)4
设备名称(Descript.)工作站
型号(Types)Indy
生产厂商(Corp.)美国SGI
数量(Qty)
8
设备名称(Descript.)工作站
型号(Types)RS600043P
生产厂商(Corp.)美国IBM
数量(Qty)6
设备名称(Descript.)工作站
型号(Types)
RS600041W
生产厂商(Corp.)美国IBM
数量(Qty)1
设备名称(Descript.)工作站
型号(Types)RS6000C200
生产厂商(Corp.)美国IBM
数量(Qty)6
设备名称(Descript.)工作站
型号(Types)Alphaau433
生产厂商(Corp.)美国DEC
数量(Qty)
2
设备名称(Descript.)工作站
型号(Types)PW6000
生产厂商(Corp.)美国Compaq
数量(Qty)4
设备名称(Descript.)工作站
型号(Types)
KayakXU
生产厂商(Corp.)美国HP
数量(Qty)1
设备名称(Descript.)ATM交换机
型号(Types)8260
生产厂商(Corp.)美国IBM
数量(Qty)1
设备名称(Descript.)以太交换机
型号(Types)8274
生产厂商(Corp.)美国IBM
数量(Qty)
1
设备名称(Descript.)以太交换机
型号(Types)8271
生产厂商(Corp.)美国IBM
数量(Qty)1
=========================================以下是英文
=========================================
ABriefIntroductiontoStateKeyLaboratoryforNovelSoftwareTechnologyat
NanjingUniversity
TheStateKeyLaboratoryforNovelSoftwareTechnologyatNanjingUniversitybeganits
buildingin1987,basedontheyearsofresearchattheDepartmentofComputerScienceand
fficially
approvedbytheNationalPlanningCommissionin1990,andhasbeenopenedtoresearchersall
edthreeofficialevaluationsin1994,1997,and2002respectively.
IntheLaboratory,effortshavebeenfocusedonnewcomputersoftwaretechnology
characterizedbyintelligence,autonomy,parallelism,networking,andnaturalization,whichis
notonlyatthefrontierinthefieldofcomputerscienceandtechnology,butalsoofgreat
hemainresearchdirectionsare:re
automationandformalmethods;butedcomputingandparallelprocessing;
softwareandnetworksecurity;-styleprogrammingandmethodology;igent
multimediasoftware.
NowProfessorXuJiafuistheHonoraryDirectorofthelaboratory,ProfessorLuJianis
Directorofthelaboratory,sorSun
ZhongxiuisthechairmanoftheacademiccommitteeoftheLaboratory,andProfessorsYang
FuqingandXieLiarethevicechairmen.
Bytheendof2003,morethan392projectshadbeencompletedinthelaboratory,among
which70werenationalHi-Tech(973or863)Projects,35werekeyprojectsofnationalFive-year
Plan,thesameperiod,1230
papersand31bookshadbeenpublished,amongwhichmanyappearedininternationaljournals,
suchasCommunicationsoftheACM,IEEETransactionsonSoftwareEngineering,IEEE
TransactionsonParallelandDistributedSystems,IEEETransactionsonComputers,
TheoreticalComputerScience,ArtificialIntelligence,an56projectsandbookswere