Past Member
Benedikt Ahrens
Funding provided by the National Science Foundation
Affiliation
Mathematics
Field of Study
Univalent Foundations
Website
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
