讲坛主题:可达性问题、算法与复杂性
时间:2023年3月21日(周二)14:30
地点:逸夫报告厅
主讲人:傅育熙
主讲人简介:
傅育熙,1992年获英国曼彻斯特大学计算机博士学位,1994年起在上海交通大学计算机系任职,现为上海交通大学特聘教授,国家杰出青年基金获得者、上海市优秀学科带头人。曾任上海交通大学软件学院院长、上海高校软件理论研究中心主任、上海市计算机学会理事长、国务院学位委员会第六届学科评议组成员、教育部计算机类专业教学指导委员会副主任。研究领域为理论计算机科学,研究内容涉及程序理论、并发理论、等价性验证、可达性理论、交互理论。担任Mathematical Structures in Computer Science编委,讲授的“计算复杂性理论”课程获评“2019年度高校计算机专业优秀教师奖励计划”。
科技处
青岛软件学院、计算机科学与技术学院
2023年3月16日