西南大学计信院前沿学术报告
Southwest University IT Faculty Seminar
时间:2023年4月13日(星期四)下午15:00
地点:25-0114
报告题目:可达性问题
报告人:傅育熙 上海交通大学 特聘教授
报告人简介:
![](/__local/8/9C/2F/34882FC1A8302F856DA1613638F_FEE71232_2AF2.jpg)
傅育熙,1992年获英国曼彻斯特大学计算机博士学位,1994年起在上海交通大学计算机系任职,现为上海交通大学特聘教授。研究领域为理论计算机科学,研究内容涉及程序理论、并发理论、等价性验证、可达性理论、交互理论。是国家杰出青年基金获得者、上海市优秀学科带头人。2000-2009年任上海交通大学计算机系主任,2001-2013年任上海交通大学软件学院院长。学术兼职有:上海高校软件理论研究中心主任、国务院学位委员会第六届学科评议组成员(2010-2014)、上海市计算机学会理事长(2015-2018)、教育部计算机类专业教学指导委员会副主任(2013-2017,2018-2022)。是Mathematical Structures in Computer Science的编委。傅育熙讲授的《计算复杂性理论》课程获得“2019年度高校计算机专业优秀教师奖励计划”。
内容摘要:
算法与复杂性、可达性问题在计算机科学中有广泛应用,本报告介绍VASS可达性问题的算法思想与复杂性结果。