吕建（中国科学院院士）
吕建
中国科学院院士
吕建，1960年3月31日出生于江苏省南京市，毕业于南京大学，计算机软件专家，中国科学院院士，现任南京大学校长。
吕建1982年，毕业于南京大学计算机系。2018年3月18日，在第十三届全国人民代表大会第一次会议上，当选为第十三届全国人民代表大会常务委员会委员。
吕建主要从事软件方法学研究，在软件基础理论与方法、网构软件方法学和新型软件平台及其应用方面取得系列成果。
| 中文名 | 吕建 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| 国籍 | 中国
| 民族 | 汉族 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| 出生地 | 江苏省南京市 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| 出生日期 | 1960年3月31日
| 毕业院校 | 南京大学计算机系 |
| 学位/学历 | 工学博士 |
| 职 务 | 全国人民代表大会常务委员会委员，中国科学院院士，南京大学校长 |
人物经历
早年经历
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月，任第十三届全国人民代表大会常务委员会委员、南京大学校长。
2018年1月30日，中共中央组织部在南京大学宣布了中共中央、国务院的任免决定，吕建任南京大学校长（副部长级）。
2018年3月18日，在第十三届全国人民代表大会第一次会议上，当选为第十三届全国人民代表大会常务委员会委员。
主要成就
科研成就
科研综述
吕建主要从事软件方法学研究，在软件基础理论与方法、网构软件方法学和新型软件平台及其应用方面取得系列成果。提出了一种具有模型裂变能力的形式化开发方法，其数据分解新机制可用于大型程序开发的复杂性控制。研究了开放环境下软件系统的范型、方法与技术等问题，提出了基于Agent的网构软件方法学，探索了面向Internet软件方法学研究的新途径。发展了开放环境下的软件协同技术，主持研制了新型软件协同平台，可为开放、动态、多变环境下应用系统的开发与运行提供支撑。
吕建以探索建立新型软件方法学作为重大科学问题导向，长期坚持该领域的基础研究、技术创新与应用实践，在软件基础理论与方法、网构软件方法学、新型软件平台及应用方面取得了系统性和创新性的成果，为中国软件事业的发展作出了重要贡献。
作为学术带头人，吕建教授的“面向Internet的软件方法与技术”团队于2005年和2007年分别入选“教育部创新团队”和“国家自然科学基金委创新研究群体”；由他担任主任的“计算机软件新技术国家重点实验室”于2007年与2012年连续两次获评信息领域优秀国家重点实验室。
学术论著
先后承担国家973重大基础研究计划、国家863高技术、国家科技攻关计划、国家攀登计划、国家自然科学基金和国际合作等项目20余项。
他在国内外主要刊物与国际会议论文集上发表论文150余篇，授权专利11项，合著学术专著2部。
论文
名称 | 刊物 | 年份 |
面向网构软件的环境显式化技术 | 中国科学F辑 | 2013 |
上下文相关图文法的表达能力分析 | 软件学报 | 2012 |
并行性挖掘的图文法方法 | 小型微型计算机系统 | 2011 |
面向网构软件的环境驱动模型与支撑技术研究 | 中国科学F辑 | 2008 |
软件可视化和信息可视化专刊前言 | 软件学报 | 2008 |
网构软件技术体系:一种以体系结构为中心的途径 | 中国科学F辑 | 2008 |
一种面向网构软件体系结构的信任驱动服务选取机制 | 软件学报 | 2008 |
面向对象范型体系结构中构件行为相容性研究 | 软件学报 | 2006 |
软件体系结构专刊前言 | 软件学报 | 2006 |
网构软件的研究与进展 | 中国科学F辑 | 2006 |
一个适用于网构软件的信任度量及演化模型 | 软件学报 | 2006 |
基于Agent的网构软件模型研究 | 中国科学F辑 | 2005 |
通用的移动Agent通信框架设计 | 软件学报 | 2003 |
一个软件服务协同中信任评估模型的设计 | 软件学报 | 2003 |
基于情境演算的智能体结构 | 软件学报 | 2003 |
移动agent系统基准模型的研究 | 电子学报 | 2002 |
移动Agent系统的安全性研究 | 软件学报 | 2002 |
Web安全中的信任管理研究与进展 | 软件学报 | 2002 |
分布式Web服务器技术综述 | 计算机科学 | 2002 |
基于移动Agent技术的构件软件框架研究 | 软件学报 | 2000 |
未来软件的呼唤记ISFST-99第四届未来软件技术国际学术会议 | 计算机科学 | 2000 |
未来软件的呼唤——记ISFST-99第四届未来软件技术国际学术会议 | 计算机科学 | 2000 |
SEIS++:一个油气勘探领域软件建造和集成的模式语言 | 计算机学报 | 2000 |
一种移动agent结构化迁移机制的设计和实现 | 软件学报 | 2000 |
基于数据分解的并发面向对象程序开发方法 | 软件学报 | 2000 |
前进中的面向对象技术 | 计算机科学 | 2000 |
一个层次式面向对象并行计算框架的设计 | 电子学报 | 2000 |
支持多种并行计算模型的面向对象框架研究 | 软件学报 | 1999 |
面向对象科学计算工作空间管理框架 | 计算机研究与发展 | 1999 |
面向对象应用框架在油气勘探领域的应用研究 | 软件学报 | 1999 |
基于双层类结构的继承异常处理方法 | 软件学报 | 1999 |
流动agent:一种未来的分布计算模式 | 计算机科学 | 1999 |
一个科学计算领域的面向对象并行应用框架 | 计算机工程与科学 | 1998 |
数据精化规则的可靠与完备集研究 | 中国科学F辑 | 1997 |
一种图形化对象式需求定义语言的设计 | 软件学报 | 1996 |
软件需求工程述评 | 计算机科学 | 1995 |
HOS规格说明的功能理解及其应用 | 软件学报 | 1995 |
NDSAIL系统的归纳结论正确性准则及其自动确认方法 | 计算机学报 | 1993 |
从软件功能实例规格说明到软件功能形式规格说明的自动转换 | 软件学报 | 1992 |
机器学习 | 计算机科学 | 1991 |
广谱规格说明语言FGSPEC的设计 | 计算机研究与发展 | 1991 |
算法设计自动化研究综述 | 计算机科学 | 1988 |
人才培养
出版图书
《2013年-管理类联考综合能力核心笔记·数学》
荣誉表彰
1990年，被授予“做出突出贡献的中国博士学位获得者”称号（获奖）
1993年，获霍英东青年教师奖（研究类）（获奖）
1994年，进入“国家教委跨世纪优秀人才计划”（获奖）
1995年，获“国家杰出青年科学基金”资助（获奖）
1996年，获中国青年科技奖（获奖）
1999年，获中创软件人才奖（获奖）
2001年，获国家科技部“863计划十五周年”先进个人称号（获奖）
2003年，教育部提名国家科学技术奖自然科学一等奖（第一完成人）（提名）
2006年，研究团队获得教育部创新团队称号作为团队带头人带领计算机软件新技术国家重点实验室的“面向Internet的软件方法与技术”（获奖）
2006年，获“江苏省有突出贡献中青年专家称号”（获奖）
2007年，被评为江苏省“333人才培养工程”首批中青年首席科学家（获奖）
社会任职
兼任国家863高技术计划信息领域专家组成员（十一五）；
2015年任国务院学位委员会第七届学科评议组成员；
教育部科学技术委员会信息学部委员；
联合国大学国际计算机软件研究所Board Membe；
中国计算机学会系统软件专业委员会主任；
江苏省自然科学基金委员会信息学科组组长；
江苏省党外知识分子联谊会会长；
从2004年开始担任一届知联会理事、二届知联会副会长；
“核高基”科技重大专项总体专家组成员；
自然科学基金委信息学部专家咨询委员会委员；
国务院学位委员会计算机学科评议组成员；
计算机科学技术教学指导委员会副主任；
中国计算机学会副理事长，中国计算机学会软件工程专业委员会主任。
第二届高等学校科学研究优秀成果奖（科学技术）奖励委员会委员。
人物评价
吕建教授是计算机软件专家，他研究的软件方法学对提高软件生产的效率和质量做出了很大贡献。（南京大学评）
吕建教授以探索建立新型软件方法学作为重大科学问题导向，长期坚持该领域的基础研究、技术创新与应用实践，在软件基础理论与方法、网构软件方法学、新型软件平台及应用方面取得了系统性和创新性的成果，为中国软件事业的发展做出了重要贡献，研究成果得到了国内外同行的广泛引用与认可。（江苏网评）
为中国软件事业发展做出了重要贡献。（中共江苏省委评）
参考资料
1.吕建任南京大学校长·中国共产党新闻网
