快捷指南

Quick guide

学术动态

首页 >> 学术动态 >> 正文

【学术报告预告】基于交互式定理证明的程序验证研究


发布日期:2024-07-02    点击:

报告专家:曹钦翔

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

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

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

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

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