快乐8开奖结果,千亿体育游戏平台,银河999游戏中心

西科E站 校园AI助手 西科电邮 手机版

快乐8开奖结果,千亿体育游戏平台,银河999游戏中心:快捷指南

Quick guide

学术动态

首页 >> 学术动态 >> 正文
  • 数字化图书馆
  • 网络安全与管理
  • 学术期刊
  • 科学研究
  • 国资全业务办理
  • 国际交流
  • 科技产业
  • 校友总欢乐炸三张appAPP
  • 资产管理
  • 财务综合服务
  • 招标采购
  • 教育培训基地

快乐8开奖结果,千亿体育游戏平台,银河999游戏中心:【学术报千亿体育游戏平台预千亿体育游戏平台】基于交互式定理证明的程序验证研究


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

报千亿体育游戏平台专家:曹钦翔

报千亿体育游戏平台时间:2024年7月2日19:00

报千亿体育游戏平台地点:腾讯欢乐炸三张appAPP议:621-170-081

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

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

承办单位:计算机科学与技术银河999游戏中心

快乐8开奖结果-快乐8走势图