題目：可達性問題的最新研究進展

　　報告人：傅育熙

　　時間：2025年04月25日(周五)，09：30-10：30

　　會議地點：31-904

　　報告摘要：

　　VASS可達性問題是計算機科學的重要問題之一。最近幾年，對該問題的研究取得了顯著進展。本報告對過去幾年的研究結(jié)果做一總結(jié)匯報。

　　報告人簡介：

　　傅育熙，1992年獲英國曼徹斯特大學計算機博士學位，1994年起在上海交通大學計算機系任職，現(xiàn)為上海交通大學特聘教授。研究領域為理論計算機科學，研究內(nèi)容涉及程序理論、并發(fā)理論、等價性驗證、可達性理論、交互理論。是國家杰出青年基金獲得者、上海市優(yōu)秀學科帶頭人。2000-2009年任上海交通大學計算機系主任，2001-2013年任上海交通大學軟件學院院長。學術(shù)兼職有：上海高校軟件理論研究中心主任、國務院學位委員會第六屆學科評議組成員（2010-2014）、上海市計算機學會理事長（2015-2018）、教育部計算機類專業(yè)教學指導委員會副主任（2013-2017，2018-2022）。是Mathematical Structures in Computer Science的編委。傅育熙講授的《計算復雜性理論》課程獲得“2019年度高校計算機專業(yè)優(yōu)秀教師獎勵計劃”。