Past Member

Benedikt Ahrens

Affiliation
Mathematics
Field of Study
Univalent Foundations
From 9/2015 – 4/2016:

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
  • Mathematics
9/20154/2016
Member
  • Mathematics
9/20124/2013
Degrees
Universite Nice Sophia Antipolis Ph.D., 2012
Appointments
Inria, France 2016–2017 Postdoctoral researcher
Institute for Advanced Study, Princeton, USA 2015–2016 Postdoctoral researcher
IRIT, Université Paul Sabatier, Toulouse, France 2013–2015 Postdoctoral researcher