題目：PolyC, a programming language for feasible solutions

　　報告人：傅育熙

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

　　會議地點：31-904

　　報告人簡介：

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