报告专家：曹钦翔

报告时间：2024年7月2日19：00

报告地点：腾讯会议：621-170-081

专家简介：本科毕业于北京大学，博士毕业于美国普林斯顿大学，2018年回国任教，获上海浦江人才计划资助，现为上海交通大学约翰霍普克洛夫特计算机科学中心副教授，博士生导师。长期从事基于交互式定理证明的程序验证工具开发，并研究有关程序逻辑特别是分离逻辑的理论问题，其研究成果发表于POPL、OOPSLA、JAR等国际知名会议与期刊。

主办单位：学科建设办公室

承办单位：计算机科学与技术学院