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

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

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

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

　　報(bào)告摘要：

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

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

　　傅育熙,，1992年獲英國(guó)曼徹斯特大學(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á)性理論、交互理論,。是國(guó)家杰出青年基金獲得者,、上海市優(yōu)秀學(xué)科帶頭人。2000-2009年任上海交通大學(xué)計(jì)算機(jī)系主任,，2001-2013年任上海交通大學(xué)軟件學(xué)院院長(zhǎng),。學(xué)術(shù)兼職有：上海高校軟件理論研究中心主任、國(guó)務(wù)院學(xué)位委員會(huì)第六屆學(xué)科評(píng)議組成員（2010-2014）,、上海市計(jì)算機(jī)學(xué)會(huì)理事長(zhǎng)（2015-2018）,、教育部計(jì)算機(jī)類(lèi)專(zhuān)業(yè)教學(xué)指導(dǎo)委員會(huì)副主任（2013-2017，2018-2022）,。是Mathematical Structures in Computer Science的編委。傅育熙講授的《計(jì)算復(fù)雜性理論》課程獲得“2019年度高校計(jì)算機(jī)專(zhuān)業(yè)優(yōu)秀教師獎(jiǎng)勵(lì)計(jì)劃”,。