吕建

基本简介

吕建,计算机软件专家、南京大学教授。1960年3月出生于江苏省南京市, 1982年毕业于南京大学计算机系,1988年于南京大学获博士学位。1995年获“国家杰出青年科学基金”资助;1996年获中国青年科技奖;1997年进入国家“百千万人才工程”(第一、二层次);1999年获中创软件人才奖;2000年入选教育部长江学者;2007年被评为江苏省“333人才培养工程”首批中青年首席科学家;曾获教育部自然科学一等奖、教育部技术发明一等奖、国家科技进步二等奖、何梁何利科学与技术进步奖等。作为学术带头人,吕建教授的“面向Internet的软件方法与技术”团队于2005年和2007年分别入选“教育部创新团队”和“国家自然科学基金委创新研究群体”;由他担任主任的“计算机软件新技术国家重点实验室”于2007年与2012年连续两次获评信息领域优秀国家重点实验室。2013年12月19日当选中科院院士。2018年3月——,任第十三届全国人民代表大会常务委员会委员、南京大学校长。    


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

出版著作

《软件自动化》,清华大学出版社与广西科学技术出版社出版,1994。

发表论文

1.NDADAS系统算法正确性构架,中国科学(A辑),1990

2.广谱规格说明语言FGSPEC的设计,计算机研究与发展,1991

3. Framework of Algorithm  Correctness in NDADAS,Science in China(Series A),1991

4.On the Automatic Acquisition of the Formal Specification from the    Example Specification, ICYCS 91,1991

5.NDADAS系统知识表示机制的设计,南京大学学报,1991

6.机器学习,计算机科学,1991

7.从功能规格说明引设计规格说明的自动转换,计算机学报,1991

8.From what to How,Advances in Chinese Computer  Science,1991

9.A Method of Acquiring Formal Specifications From Examples,ACM Software Engineering Notes(U.S.A),1992

10.从软件功能实例规格说明到软件功能形式规格说明的自动转换,软件学报,1992

11.The Design and Implementation ofNDSAIL:A Software Automation System with Automated Learning  Mechanisms,IFIP Information Processing 92,1992

12.自学习软件自动化系统DSAIL的设计与实现,计算机学报,1992

13.软件自动化的智能化途径, 科学通报,1993

14.Design Rationale for FGSPEC,A  Wide Spectrum Specification    Language,Journal of Computer Science and    Techonology,1993

15.NDSAIL系统的归纳结论正确性准    则及其自动确认方法,计算机学报,1993

16.The Hierarchical Understanding and Verification of HOS Software    Specification,ICYCS 93,1993

17.Automatic Acquisition of Reusable    Software Artifacts,ICYCS 93,1993

18.An Approach toward Machanization of Acquiring Reusable Software    Components,ACM Sigplan Notices(U.S.A),1993

19. 可复用软构件的自动获取,高技术通讯,1993

20.Introducing Data Decomposition into VDM for Tractable Development of    Programs,ACM Sigplan Notices(U.S.A),1995

21.A Formal Software Development    Method DD—VDM,ICYCS 95,1995

22.From Requirements Definition to FormalFunctional Specification---An Automatic Transformational Approach,Science in China(A Series),1995

23.图形化对象式需求定义语言NDORL,计算机科学,1995

24.软件需求工程述评,计算机科学,1995,22(3).-45-48

25.HOS规格说明的功能理解及其应用,软件学报,1995,6(12).-734-741

26. The Verification of HOS Software  Specification by a Hierarchical Software Understanding Approach,Journal of Systems and Software    (U.S.A)

27.形式化软件开发方法DD-VDM,软件学报.1996,7(A00).-385-393

28.一种图形化对象式需求定义语言的设计,软件学报.1996,7(11).-647-655

29.需求定义语言(大条),《计算机科学与技术》百科全书

30.功能性语言(大条),《计算机科学与技术》百科全书

31.PSL/PSA(小条),《计算机科学与技术》百科全书

32.抽象数据类型(中条),《计算机科学与技术》百科全书

33.数据精化规则的可靠与完备集研究,中国科学:E辑.1997,27(3).-268-274

34.Developing Parallel Object—Oriented Programs in the Framework of VDM,Annuals of Software Engineering,(U.S.A)

35.李英军 吕建,一个科学计算领域的面向对象并行应用框架,计算机工程与科学.1998,20(3).-77-82

36.李英军 吕建,面向对象科学计算工作空间管理框架,计算机研究与发展.1999,36(4).-423-428

37.陶先平 吕建,流动agent:一种未来的分布计算模式,计算机科学.1999,26(2).-1-4,13

38.张鸣 吕建,基于双层类结构的继承异常处理方法,软件学报.1999,10(6).-619-625

39.吴定豪 吕建,一种基于状态空间的混成系统设计方法的理论基础研究,南京大学学报:自然科学版.1999,35(5).-564-572

40.杨大军 吕建,基于数据分解的并发面向对象程序开发方法,软件学报.2000,11(1).-67-72

41.吕建 费翔林,前进中的面向对象技术:记第三十一届面向对象语言与系统技术国际 …,计算机科学.2000,27(4).-26-27,69

42.吕建 费翔林,未来软件的呼唤:记ISFST—99第四届未来软件技术国际学术会议,计算机科学.2000,27(4).-23-25,72

43.李英军 吕建,一个层次式面向对象并行计算框架的设计,电子学报.2000,28(8).-113-114

44.陶先平 吕建,一种移动agent结构化迁移机制的设计和实现,软件学报.2000,11(7).-918-923

45.吕建 张鸣,基于移动Agent技术的构件软件框架研究,软件学报.2000,11(8).-1018-1023

46.陶先平 吕建 等,移动Agent技术在电子商务上的应用初探,南京大学学报:自然科学版.2001,37(2).-174-181

47.吕建 杨大军 等,一种并发面向对象同步模型研究,软件学报.2002,13(1).-71-79

48.李新 吕建 等,移动Agent系统的安全性研究,软件学报.2002,13(10).-1991-2000

49.徐锋 吕建,Web安全中的信任管理研究与进展,软件学报.2002,13(11).-2057-2064

50.冯扬悦 陶先平 吕建,PCC技术在移动Agent系统安全中的应用初探,计算机科学.2002,29(10).-20-24,5

51.陶先平 吕建 等,移动agent系统基准模型的研究,电子学报.2002,30(12).-2119-2121

52.李斌 吕建 等,基于情境演算的智能体系结构,软件学报.2003,14(4).-733-742

53.冯新宇 吕建 曹建农,通用的移动Agent通信框架设计,软件学报.2003,14(5).-984-990

54.徐锋 吕建等,一个软件服务协同中信任评估模型的设计,软件学报.2003,14(6).-1043-1051

55.马晓星 曹建农 吕建,一种面向图的分布Web应用架构技术,计算机学报.2003,26(9).-1104-1115

56.曹春 郑玮 吕建 陶先平,Mogent防DoS攻击的策略与实现,小型微型计算机系统.2003,24(12).-2070-2074

57.陈韬略 李斌 吕建,表达式元性理论形式系统的扩充及其强标准化性质,南京大学学报:自然科学版.2004,40(2).-156-163

58.马晓星 张小蕾 吕建,自省的动态软件体系结构描述与实现,南京大学学报:自然科学版.2004,40(2).-146-155

59.李斌 陈韬略 吕建,一个刻画Agent自主性的框架,南京大学学报:自然科学版.2004,40(2).-137-145

60.王远 徐锋 吕建,Arts:一个基于角色的信任管理系统,武汉大学学报:理学版.2004,50(A01).-57-61

获奖情况

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

2.1995年,合著专著《软件自动化》获国家教委高校学校出版社优秀学术著作特等奖和国家教委优秀教材一等奖。

3.1991年,“软件自动化研究”获度国家教委科技进步一等奖。

4.1993年,“软件自动化的智能化技术研究”获国家教委科技进步一等奖

5.1994年,获霍英东青年教师奖

6.1995年,获南京大学青年教师学术研究奖

7.1995年,获江苏省青年科技奖

8.2003    教育部提名国家科学技术奖自然科学一等奖(第一完成人)    (提名)    

9.1999    获中创软件人才奖    (获奖)    

10.1996    获中国青年科技奖     (获奖)


获国家教委科技进步一等奖二次,国家教委科技进步二等奖一次,获江苏省科技进步二等奖一次,光华科技三等奖一次 合著专著《软件自动化》获国家教委学术著作优秀奖和优秀教材一等奖。1990年被授予“做出突出贡献的中国博士学位获得者”称号。1993年获霍英东青年教师奖。1994年进入“国家教委跨世纪优秀人才计划”。1995年获江苏省青年科技奖。1995年获“国家杰出青年科学基金”资助。1996年获首届江苏省青年科学家奖(提名奖);1996年获中国青年科技奖

讲授课程

1.数理逻辑

2.离散数学

3.形式语言与自动机

科研项目

1.1994-1998年,主持国家攀登计划项目“并行程序的转换和优化技术”

2.1995-1997年,主持国家教委跨世纪优秀人才计划项目

3.1996-1998年,主持国家杰出青年基金项目“并行面向对象程序的形式化与自动化开发方法研究”

4.1994-1995年,参加863高技术项目“软件自动化技术及系统”

5.1998-2000年,主持九五攻关项目“基于Internet的主动构件技术的研究”

6.1996-2001年,主持杰出青年科学基金项目“并行面向对象程序的形式化与自动化开发方法”

7.1999-2001年,主持国家自然科学基金项目“层次式面向对象并行应用框架技术”

8.1998-2000年,主持863计划项目“ 主动构件语言的设计与实现 ”

9.1998-2000年,主持863计划项目“软件产业国际化示范工程”

10.1999-2001年,主持省应用基础研究“一种基于Internet的E-mail Agent中间件”

11.1998-2000年,主持企业委托项目“面向领域的并行应用框架研究”

学术经历

1960年3月,吕建出生于江苏省南京市,1982年毕业于南京大学计算机系。

1982年,毕业于南京大学计算机系,1988年获博士学位。

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

1993年-1994年,在英国曼彻斯特大学计算机系作为访问学者。

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

1997年,进入国家“百千万人才工程”(第一、二层次)。

1997年,进入江苏省“333”人才培养工程第二层次,并于2002年转入第一层次。

2000年,进入长江学者计划,被南京大学聘为特聘教授。

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

2010年5月-2016年5月,任南京大学副校长。

2016年5月-2018年1月,任南京大学常务副校长。

2018年1月- 2018年3月,任南京大学校长(副部长级)。

2018年3月-任第十三届全国人民代表大会常务委员会委员、南京大学校长。 第十三届全国人民代表大会代表。

荣誉称号

2007    被评为江苏省“333人才培养工程”首批中青年首席科学家(获奖)

2006    获“江苏省有突出贡献中青年专家称号”    (获奖)

2001    获国家科技部“863计划十五周年”先进个人称号    (获奖)  

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

分享到: