Benedikt Ahrens
Has grant
Assistant Professor
Delft University of Technology
Research Interests
Explore related searches
Contact this professor
About
Dr. Benedikt Ahrens is an Assistant Professor at Technische Universiteit Delft in the Netherlands. His research primarily focuses on type theory and category theory, with recent articles exploring topics such as initial semantics, bicategorical type theory, and homotopy type theory. His contributions include works on the equivalence of B-systems and C-systems and presentable signatures in the context of univalent foundations.
Recent Grants
Grant: Close
A theory of type theories
Open Date: 2020-03-01
Close Date: 2022-02-01
Grant: Close
The UniMath library for type theory and programming languages
Open Date: 2017-01-01
Close Date: 2018-01-01
Articles (10)
Collaborators (1)
Dan Frumin
University of Groningen
NETHERLANDS
How do I reach out?
Sign in for free to see their profile details and contact information.