4月25日，上海交通大学傅育熙教授应邀来我院进行学术交流并作了题为“可达性问题的最新研究进展”的报告。院长梅掌荣、党委书记黄旭出席，计算机学科教师代表参加会议并进行了互动交流。报告会由梅掌荣主持。
可达性问题是计算机科学的重要问题之一，最近几年对该问题的研究取得了显著进展。傅育熙教授详细介绍了可达性问题的起源、定义、发展历程，结合所带领团队最新成果以及国内外文献阐述了可达性问题的研究现状，并就不同层次的可达性问题证明与计算方法作了深入剖析。
傅育熙是上海交通大学特聘教授、国家杰出青年基金获得者、上海市优秀学科带头人，曾任上海交通大学计算机系主任、上海交通大学软件学院院长、上海高校软件理论研究中心主任、国务院学位委员会第六届学科评议组成员、上海市计算机学会理事长、教育部计算机类专业教学指导委员会副主任等职，研究方向涉及程序理论、并发理论、等价性验证、可达性理论、交互理论等。
此次讲座有效激发了学科成员在计算机理论与应用研究方面的创新动力，进一步强化了投身人工智能技术研究与人才培养的使命意识，极大地提升了扎实做好科研与教学工作、聚力支撑区域数字经济发展的工作热情。
