Benedikt Ahrens headshot
Past Member

Benedikt Ahrens

Funding provided by the National Science Foundation

Affiliation

Mathematics

Field of Study

Univalent Foundations

Home Institution

Institute for Advanced Study
From
-
Benedikt Ahrens is interested in logic, category theory, and the formalization of mathematics in computer proof assistants. During his stay at the IAS, he will work on models of type theory in univalent foundations.

Dates at IAS

Member
School of Mathematics
Member
School of Mathematics

Degrees

Universite Nice Sophia Antipolis
Ph.D.
2012

Appointments

Delft University of Technology, NL
2021
Assistant Professor
University of Birmingham, UK
2017
Birmingham Fellow
Inria, Nantes, FR
2016–2017
Postdoctoral researcher
Institute for Advanced Study, Princeton, USA
2015–2016
Postdoctoral researcher
IRIT, Université Paul Sabatier, Toulouse, FR
2013–2015
Postdoctoral researcher
Institute for Advanced Study, Princeton, USA
2012–2013
Postdoctoral researcher