題目：PolyC, a programming language for feasible solutions

　　報告人：傅育熙

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

　　會議地點：31-904

　　報告人簡介：

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