国家杰出青年基金获得者

南京大学李宣东教授应邀访问公司并作学术报告

    11月6日，国家杰出青年科学基金获得者，江苏省计算机学会理事长，南京大学计算机科学与技术系主任，软件学院经理李宣东教授应邀访问公司电子与信息工程学院，并为学院师生作了题为“可信软件的若干问题”的精彩学术报告。报告会由信息学院副经理白光伟教授主持。

    计算机科学与技术对人类社会产生了深远的影响，极大地促进了社会发展和生产力的提高。然而，计算机软件系统可靠性的问题一直是学术界和工业界关注的重要问题。李宣东教授在报告中从如何认识软件系统入手，详细论述了如何理解软件可信性、如何度量与评估软件可信性、如何增强软件可信性等关键问题，并介绍了南京大学计算机系和软件新技术国家重点实验室的相关研究成果。李教授的精彩报告博得与会师生热烈的掌声，大家受益匪浅。

    李宣东教授毕业于南京大学，获得学士、硕士和博士学位。主要研究领域为软件建模与分析、软件测试与验证。曾在联合国大学澳门国际软件技术研究所（UNU/IIST）、芬兰Turku Centre for Computer Science（TUCS）和美国Carnegie Mellon University进行访问和合作研究。主持承担包括国家自然科学基金项目、863高技术研究开发基金项目、国家九五重点攻关项目、国家重大基础研究计划973项目在内的多项国家和省级科研项目，在国际期刊、国际会议和国内一级学报发表学术论文60余篇；获2002年教育部自然科学二等奖、1998年教育部科学技术进步二等奖和1998年度中创软件人才奖，获国务院政府特殊津贴，入选教育部跨世纪人才培养计划和江苏省青蓝工程学术带头人培养计划，2002年被教育部表彰为高等学校优秀骨干教师，2004年获国家杰出青年科学基金资助。