5月16日，由学校科研处主办、信息技术学院承办的 “本科教育十年”系列学术报告在博雅楼3102举行，此次报告邀请南京大学计算机科学与技术系主任、国家杰出青年科学基金获得者、博士生导师李宣东教授主讲“可信软件的若干问题”。

　　上午，蒋永文校长与李宣东教授进行了座谈。蒋永文校长介绍了白菜官网专业建设、科学研究、人才培养等基本情况，希望通过南京大学与2023白菜网总站大全的合作平台，各院系之间开展实质性合作，提升我们的办学水平。李宣东教授表示南京大学计算机科学与技术系愿意与2023白菜网总站大全信息技术学院在教师培养、学生培训、科学研究等方面进行交流和帮助。随后，李宣东教授围绕“计算机科学与技术专业建设” 与信息技术学院教师进行交流座谈。

　　下午，李宣东教授在博雅楼3103作“可信软件的若干问题”学术报告，信息技术学院师生共170余人参加了报告会，报告会由信息技术学院申时凯教授主持。李宣东教授以丰富的事例详细讨论了可信软件的理解和认识、度量和评估，介绍了其科研团队在软件容错方面所开展的研究工作之一，即在多核平台下的软件容错技术——“N-Version Programming” N版本编程。

　　本次高水平学术报告深深吸引了到场师生，使大家对可信软件有了更加深入的认识，了解了计算机软件的顶尖技术，开拓了视野。