机构名称：
¥ 1.0
2023 - 波恩大学数学学院的现任W2教授。2021 - 2023巴黎大学萨克莱大学数学系博士后助理。2月2021年2月，哈佛大学数学科学与应用中心导师。2018 - 2021匹兹堡大学数学系博士后助理。2013 - 2018 Ph.D.卡内基·梅隆大学（Carnegie Mellon University）在纯净和应用逻辑上。论文：关于较高的归纳类型和合成同质理论的形式化。顾问：杰里米·阿维加德（Jeremy Avigad），史蒂夫·阿沃迪（Steve Awodey）。2011 - 2013 M.Sc. （cum Laude），乌得勒支大学数学科学。 论文：纯型系统中的明确可兑换性证明。 顾问：Freek Wiedijk。 2008 - 2011年B.Sc. （cum Laude），数学，乌得勒支大学。 2008 - 2011年B.Sc. （暨优异），乌得勒支大学物理和天文学。2011 - 2013 M.Sc.（cum Laude），乌得勒支大学数学科学。论文：纯型系统中的明确可兑换性证明。顾问：Freek Wiedijk。2008 - 2011年B.Sc. （cum Laude），数学，乌得勒支大学。 2008 - 2011年B.Sc. （暨优异），乌得勒支大学物理和天文学。2008 - 2011年B.Sc.（cum Laude），数学，乌得勒支大学。2008 - 2011年B.Sc. （暨优异），乌得勒支大学物理和天文学。2008 - 2011年B.Sc.（暨优异），乌得勒支大学物理和天文学。
cv.pdf div>
主要关键词
相关文件推荐
