返回导师列表
U

Ulrik Buchholtz

教授

计算机科学与技术学院

形式化方法实验室A401
ulrik.buchholtz@university.edu.cn
4.9
(20 评价)
指导学生12 人
状态可接受新学生

个人简介

形式化验证专家，专注于使用Agda和Lean进行数学和算法的形式化验证，在类型论和同伦基础方面有深入研究。

研究方向

形式化验证AgdaLean算法群论几何类型论AI证明辅助

教育背景

博士 - 数学

知名大学

2010