讲者简介：

吕建，教授，博士生导师，中国科学院院士。1982年毕业于南京大学计算机系，1988年获博士学位。1984年11月起在南京大学任教。历任南京大学计算机系副主任、南京大学计算机软件研究所副所长、南京大学重点项目建设办公室主任、南京大学副校长、南京大学研究生院院长（兼）、南京大学常务副校长。现任南京大学校长。主要从事软件方法学研究，在软件基础理论与方法、网构软件方法学和新型软件平台及其应用方面取得系列成果。提出了一种具有模型裂变能力的形式化开发方法，其数据分解新机制可用于大型程序开发的复杂性控制。研究了开放环境下软件系统的范型、方法与技术等问题，提出了基于Agent的网构软件方法学，探索了面向Internet软件方法学研究的新途径。发展了开放环境下的软件协同技术，主持研制了新型软件协同平台，可为开放、动态、多变环境下应用系统的开发与运行提供支撑。曾获教育部自然科学奖一等奖、教育部技术发明奖一等奖、国家科技进步奖二等奖等。