題目：可達(dá)性問題的最新研究進(jìn)展

　　報(bào)告人：傅育熙

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

　　會(huì)議地點(diǎn)：31-904

　　報(bào)告摘要：

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

　　報(bào)告人簡(jiǎn)介：

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