报告题目：可达性问题的最新研究进展
报告人：傅育熙
时 间：4月25日15:00
地 点：1-5B13
报告摘要：VASS可达性问题是计算机科学的重要问题之一。最近几年，对该问题的研究取得了显著进展。本报告对过去几年的研究结果做一总结汇报。
报告人简介：
傅育熙，1992年获英国曼彻斯特大学计算机博士学位，1994年起在上海交通大学计算机系任职，现为上海交通大学特聘教授。研究领域为理论计算机科学，研究内容涉及程序理论、并发理论、等价性验证、可达性理论、交互理论。是国家杰出青年基金获得者、上海市优秀学科带头人。2000-2009年任上海交通大学计算机系主任，2001-2013年任上海交通大学软件学院院长。学术兼职有：上海高校软件理论研究中心主任、国务院学位委员会第六届学科评议组成员（2010-2014）、上海市计算机学会理事长（2015-2018）、教育部计算机类专业教学指导委员会副主任（2013-2017，2018-2022）。是Mathematical Structures in Computer Science的编委。傅育熙讲授的《计算复杂性理论》课程获得“2019年度高校计算机专业优秀教师奖励计划”。
