2025年信息工程学院学术报告之十四

作者:时间:2025-04-21 浏览:25

题目可达性问题的最新研究进展

报告人:傅育熙

时间:20250425()0930-1030

会议地点:31-904

报告摘要:

VASS可达性问题是计算机科学的重要问题之一。最近几年,对该问题的研究取得了显著进展。本报告对过去几年的研究结果做一总结汇报。

报告人简介:

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


打印: