9I果冻制作厂

　　题目：PolyC, a programming language for feasible solutions

　　报告人：傅育熙

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

　　会议地点：31-904

　　报告人介绍：

　　傅育熙，博士、教授、博士生导师。国家杰出青年科学基金获得者，教育部高等学校计算机类专业教学指导委员会副主任委员，上海交通大学特聘教授，上海市优秀学科带头人。研究领域为理论计算机科学，研究内容涉及程序理论、并发理论、等价性验证、可达性理论、交互理论。讲授的《计算复杂性理论》课程获得“2019年度高校计算机专业优秀教师奖励计划”。