报告题目:可信软件的若干问题
报 告 人: 李宣东
时 间:2012年 9月28日(星期五)下午15:00
地 点:信息工程楼E501会议室
报告人简介:
李宣东博士,教授,博导。现任南京大学软件学院院长,教授、博士生导师。
李宣东博士教学、研究工作主要涉及计算机软件工程,近年来研究工作的重点包括软件建模与分析、软件测试与验证。曾在联合国大学澳门国际软件技术研究所(UNU/IIST)、芬兰Turku Centre for Computer Science(TUCS)和美国Carnegie Mellon University进行访问和合作研究。主持承担包括国家自然科学基金项目、863高技术研究开发基金项目、国家九五重点攻关项目、国家重大基础研究计划973项目在内的多项国家和省级科研项目,在国际期刊、国际会议和国内一级学报发表学术论文60余篇;获2002年教育部自然科学二等奖、1998年教育部科学技术进步二等奖和1998年度中创软件人才奖,获国务院政府特殊津贴,入选教育部跨世纪人才培养计划和江苏省青蓝工程学术带头人培养计划,2002年被教育部表彰为高等学校优秀骨干教师,2004年获国家杰出青年科学基金资助。
欢迎全校师生参加!
科学技术处 信息工程学院
2012年 9月28日
版权所有@2011 南昌大学科学技术处
地址:江西省南昌市红谷滩区学府大道999号 邮编:330031 联系电话:0791-83969143 传真:0791-83969143