南京大学李宣东教授学术报告

发布日期:2014-09-16 浏览次数: [字体: ]

题目:可信软件的认识与理解

报告人:李宣东  教授

(国家杰出青年基金获得者)

(南京大学计算机系主任、江苏省计算机学会理事长)

时间: 2014924(周三)下午3:30

地点: 明理楼(S2109

个人简介:

李宣东,196310月生,获得南京大学计算机科学与技术系学士、硕士和博士学位;国家杰出青年科学基金获得者;现任南京大学计算机科学与技术系主任、软件学院院长、教授、博士生导师,江苏省计算机学会理事长;教学和研究工作主要涉及计算机软件工程,近年来研究工作的重点包括软件建模与分析、软件测试与验证。曾在联合国大学澳门国际软件技术研究所(UNU/IIST)、芬兰Turku Centre for Computer ScienceTUCS)和美国Carnegie Mellon University进行访问和合作研究。主持承担多项国家和省级科研项目,包括国家杰出青年科学基金项目、国家自然科学基金项目、863高技术研究开发基金项目、国家九五重点攻关项目、国家重大基础研究计划973项目; 1998年获教育部科学技术进步二等奖和中创软件人才奖,2002年获教育部自然科学二等奖, 2011年获国家科技进步二等奖。2002年被教育部表彰为高等学校优秀骨干教师;入选教育部跨世纪人才培养计划和江苏省青蓝工程学术带头人培养计划,享受国务院政府特殊津贴。