
Past Member
Benedikt Ahrens
Funding provided by the National Science Foundation
Affiliation
Mathematics
Field of Study
Univalent Foundations
Home Institution
Institute for Advanced Study
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
Inria, France
Postdoctoral researcher
Institute for Advanced Study, Princeton, USA
Postdoctoral researcher
IRIT, Université Paul Sabatier, Toulouse, France
Postdoctoral researcher