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

Inria, France
Postdoctoral researcher
Institute for Advanced Study, Princeton, USA
Postdoctoral researcher
IRIT, Université Paul Sabatier, Toulouse, France
Postdoctoral researcher