报告主题：人工智能视野下的软件技术：现状与发展趋势的思考
报告人：李宣东
国家杰出青年基金获得者
中国计算机学会系统软件专业委员会主任
南京大学教授
南京大学计算机科学与技术系系主任兼软件学院院长
报告时间：2017年12月4日（星期一）下午14:30
报告地点：红足1世77814东阶梯学术报告厅
报告人简介：
李宣东，南京大学教授、计算机科学与技术系系主任兼软件学院院长，中国计算机学会系统软件专业委员会主任，国家杰出青年基金获得者，教学和研究领域主要涉及软件工程、形式化方法、可信软件方法与技术。
1981年9月进入南京大学计算机科学与技术系学习，于1985年7月、1991年7月和1994年12月分别获得学士、硕士和博士学位；1985年7月至1988年9月曾在南京航空航天大学计算中心任助教；现任南京大学计算机科学与技术系系主任兼软件学院院长。教学、研究工作主要涉及计算机软件工程，近年来研究工作的重点包括软件建模与分析、软件测试与验证、形式化方法、可信软件方法与技术。曾在联合国大学澳门国际软件技术研究所（UNU/IIST）、芬兰Turku Centre for Computer Science（TUCS）和美国Carnegie Mellon University进行访问和合作研究。主持承担包括国家自然科学基金项目、863高技术研究开发基金项目、国家九五重点攻关项目、国家重大基础研究计划973项目在内的多项国家和省级科研项目，在国际期刊、国际会议和国内一级学报发表学术论文60余篇；获2002年教育部自然科学二等奖、1998年教育部科学技术进步二等奖和1998年度中创软件人才奖，获国务院政府特殊津贴，入选教育部跨世纪人才培养计划和江苏省青蓝工程学术带头人培养计划，2002年被教育部表彰为高等学校优秀骨干教师，2004年获国家杰出青年科学基金资助。
