当前位置: 学术关注
关于傅育熙教授学术报告的通知
发布者:陈继东 发布时间:2025-05-27 访问次数:10

报告主题:计算机科学中的可达性问题

报 告 人:傅育熙教授

时  间:202552915:00-1600

地  点:工科E1716

报告摘要:

可达性问题是计算机科学中的几大重要问题之一,在形式化方法、安全领域有诸多应用。本报告重点讲解VASS可达性(Petri网可达性)问题的定义、研究历史、已有结果、目前的研究进展。


报告主题:大国教育

报 告 人:傅育熙教授

时  间:202552916:15-1715

地  点:工科E1712

报告摘要:

百年未有之大变局下的高等教育

报告人简介:



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


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

2025526