讲坛主题：可达性问题、算法与复杂性

时间：2023年3月21日（周二）14:30

地点：逸夫报告厅

主讲人：傅育熙

主讲人简介：

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

科技处

青岛软件学院、计算机科学与技术学院

2023年3月16日