題目:PolyC, a programming language for feasible solutions
報告人:傅育熙
時間:2024年5月31日(周五),下午10:00-11:00
會議地點:31-904
報告人簡介:
傅育熙,博士、教授、博士生導師。國家杰出青年科學基金獲得者,教育部高等學校計算機類專業教學指導委員會副主任委員,上海交通大學特聘教授,上海市優秀學科帶頭人。研究領域為理論計算機科學,研究內容涉及程序理論、并發理論、等價性驗證、可達性理論、交互理論。講授的《計算復雜性理論》課程獲得“2019年度高校計算機專業優秀教師獎勵計劃”。
中國·浙江 湖州市二環東路759號(313000) 浙ICP備10025412號
浙公網安備 33050202000195號 版權所有:黨委宣傳部