西南大学计信院前沿学术报告

Southwest University IT Faculty Seminar

时间：2023年4月13日（星期四）下午15:00

地点：25-0114

报告题目：可达性问题

报告人：傅育熙 上海交通大学 特聘教授

报告人简介：

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

内容摘要：

算法与复杂性、可达性问题在计算机科学中有广泛应用，本报告介绍VASS可达性问题的算法思想与复杂性结果。