学　术

　　人力资源部教师发展中心“学术沙龙”活动特别邀请到上海交通大学傅育熙教授来校作学术交流。具体安排如下，欢迎广大师生参加。

　　一、主 题：The Complexity of Reachability

　　二、主讲人：上海交通大学 傅育熙 教授

　　三、时 间：2019年11月15日（周五）14：30-16：30

　　四、地 点：清水河校区宾诺咖啡

　　五、主持人：计算机科学与工程学院 肖鸣宇 教授

　　六、内容简介：

　　The complexity of the reachability problem for vector addition system with states is a long standing open problem. The problem is shown to be Tower complete in this talk.

　　七、主讲人简介：

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

　　八、主办单位：人力资源部教师发展中心

　　　　承办单位：计算机科学与工程学院（网络空间安全学院）

　　　　　　　　　　　　　　　　　　　　　　　　人力资源部教师发展中心

　　　　　　　　　　　　　　　　　　　　　　　　　　2019年11月13日