4月13日下午，我院举办前沿学术报告会。上海交通大学傅育熙教授邀担任报告嘉宾，报告会由院长肖国强教授主持，学院近百名师生参会。

会上，肖国强院长致欢迎辞，介绍了傅育熙教授的相关情况。傅教授是国家杰出青年基金获得者、上海市优秀学科带头人。2000-2009年任上海交通大学计算机系主任，2001-2013年任上海交通大学软件学院院长。研究领域为理论计算机科学，研究内容涉及程序理论、并发理论、等价性验证、可达性理论、交互理论。

傅教授介绍了VASS可达性问题的算法思想与复杂性结果，以及可达性问题的研究历史、发展历程和研究思路。算法与复杂性、可达性问题在计算机科学中有广泛应用，不同系统的可达性难易程度差距非常大，通过增加维数，提升系统的表达能力，可以增强系统的计算能力。在研究可达性问题的过程中，

肖国强院长对傅教授的精彩报告再次表示感谢，认为其拥有深厚的数学功底，用浅显易懂的语言阐述了深奥的道理。师生们踊跃提问发言，针对原始递归、算法规则和任意维的可达性等问题与傅教授开展交流讨论，傅教授均一一耐心解答。全场报告会气氛活跃，傅教授深入浅出的报告让师生们受益匪浅，此次报告将激发学院师生的科研热情和活力。