马克西米利安·多雷

马克西米利安 多雷

博士生

学生,沃弗森学院

沃尔夫森大厦,牛津公园路OX1 3QD

主题：

• 编程语言

利息

我是萨姆森·阿布拉姆斯基的学生，对逻辑学的时事感兴趣，特别是同伦类型理论和语境语义学。

我的电子邮件地址是我的名字dot我的姓@cs.ox.ac.uk。

传记

在来到牛津之前，我在慕尼黑LMU的MCMP完成了逻辑和科学哲学硕士学位。在我的硕士论文，我试图为为什么一个古典数学家应该接受建构主义推理提供哲学基础，相反，为什么一个类型理论家可以成为一个数学现实主义者而心安理得。在此之前，我在亚琛RWTH大学完成了计算机科学和数学学士学位。我在伦敦帝国理工学院（Imperial College London）度过了学士学位的最后一年，在那里我与Krysia Broda一起研究精灵校准仪证明者旨在使有抱负的数学家能够使用交互式定理证明。 

活动

• Quantum集团

主管