bat365在线九游官网下载官网登录|中国有限公司-九游官网下载

题目：polyc, a programming language for feasible solutions

报告人：傅育熙

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

会议地点：31-904

报告人简介：

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