报告主题：计算机科学中的可达性问题

报 告 人：傅育熙教授

时  间：2025年5月29日 15:00-16：00

地  点：工科E1716

报告摘要：

可达性问题是计算机科学中的几大重要问题之一，在形式化方法、安全领域有诸多应用。本报告重点讲解VASS可达性（Petri网可达性）问题的定义、研究历史、已有结果、目前的研究进展。

报告主题：大国教育

报 告 人：傅育熙教授

时  间：2025年5月29日 16:15-17：15

地  点：工科E1712

报告摘要：

百年未有之大变局下的高等教育。

报告人简介：

傅育熙，1992年获英国曼彻斯特大学计算机博士学位，1994年起在上海交通大学计算机系任职，现为上海交通大学特聘教授。研究领域为理论计算机科学，研究内容涉及程序理论、并发理论、等价性验证、可达性理论、交互理论。是国家杰出青年基金获得者、上海市优秀学科带头人。2000-2009年任上海交通大学计算机系主任，2001-2013年任上海交通大学软件学院院长。学术兼职有：国务院学位委员会第六届学科评议组成员（2010-2014）、上海市计算机学会理事长（2015-2018）、教育部计算机类专业教学指导委员会副主任（2013-2017，2018-至今）。是Mathematical Structures in Computer Science的编委。

青岛软件学院、计算机与科学与技术学院

2025年5月26日