題目：PolyC, a programming language for feasible solutions

　　報告人：傅育熙

　　時間：2024年5月31日(周五)，下午10：00-11：00

　　會議地點：31-904

　　報告人簡介：

　　傅育熙，博士、教授、博士生導師。國家杰出青年科學基金獲得者，教育部高等學校計算機類專業教學指導委員會副主任委員，上海交通大學特聘教授，上海市優秀學科帶頭人。研究領域為理論計算機科學，研究內容涉及程序理論、并發理論、等價性驗證、可達性理論、交互理論。講授的《計算復雜性理論》課程獲得“2019年度高校計算機專業優秀教師獎勵計劃”。