关于傅育熙教授学术报告的通知
报告主题:计算机科学中的可达性问题
报 告 人:傅育熙教授
时 间:2025年5月29日 15:00-16:00
地 点:工科E1716
报告摘要:
可达性问题是计算机科学中的几大重要问题之一,在形式化方法、安全领域有诸多应用。本报告重点讲解VASS可达性(Petri网可达性)问题的定义、研究历史、已有结果、目前的研究进展。
报告主题:大国教育
时 间:2025年5月29日 16:15-17:15
地 点:工科E1712
报告摘要:
百年未有之大变局下的高等教育。
报告人简介:
傅育熙,1992年获英国曼彻斯特大学计算机博士学位,1994年起在上海交通大学计算机系任职,现为上海交通大学特聘教授。研究领域为理论计算机科学,研究内容涉及程序理论、并发理论、等价性验证、可达性理论、交互理论。是国家杰出青年基金获得者、上海市优秀学科带头人。2000-2009年任上海交通大学计算机系主任,2001-2013年任上海交通大学软件学院院长。学术兼职有:国务院学位委员会第六届学科评议组成员(2010-2014)、上海市计算机学会理事长(2015-2018)、教育部计算机类专业教学指导委员会副主任(2013-2017,2018-至今)。是Mathematical Structures in Computer Science的编委。
青岛软件学院、计算机与科学与技术学院
2025年5月26日