2024年信息工程学院学术报告之七

作者:时间:2024-05-29 浏览:10

题目:PolyC, a programming language for feasible solutions

报告人:傅育熙

时间:2024531(周五),上午1000-1100

会议地点:31-904

报告人简介:

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


打印: