題目:可達性問題的最新研究進展
報告人:傅育熙
時間:2025年04月25日(周五),09:30-10:30
會議地點:31-904
報告摘要:
VASS可達性問題是計算機科學的重要問題之一。最近幾年,對該問題的研究取得了顯著進展。本報告對過去幾年的研究結果做一總結匯報。
報告人簡介:
傅育熙,1992年獲英國曼徹斯特大學計算機博士學位,1994年起在上海交通大學計算機系任職,現為上海交通大學特聘教授。研究領域為理論計算機科學,研究內容涉及程序理論、并發理論、等價性驗證、可達性理論、交互理論。是國家杰出青年基金獲得者、上海市優秀學科帶頭人。2000-2009年任上海交通大學計算機系主任,2001-2013年任上海交通大學軟件學院院長。學術兼職有:上海高校軟件理論研究中心主任、國務院學位委員會第六屆學科評議組成員(2010-2014)、上海市計算機學會理事長(2015-2018)、教育部計算機類專業教學指導委員會副主任(2013-2017,2018-2022)。是Mathematical Structures in Computer Science的編委。傅育熙講授的《計算復雜性理論》課程獲得“2019年度高校計算機專業優秀教師獎勵計劃”。
中國·浙江 湖州市二環東路759號(313000) 浙ICP備10025412號
浙公網安備 33050202000195號 版權所有:黨委宣傳部