Benedikt Ahrens
Assistant Professor
Delft University of Technology
Netherlands
Has grant
This profile is automatically generated from trusted academic sources.
Google Scholar
.
ORCID
.
How do I reach out?
Sign in for free to see their profile details and contact information.
Contact this professor
Research Interests
Algebra
20%
Mathematical Logic
40%
Type Theory
40%
Category Theory
40%
Mathematics
40%
Homology Theory
30%
Computer Science
30%
Ask ApplyKite AI
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
Articles9
Collaborators1
Dan Frumin
University of Groningen
NETHERLANDS
How do I reach out?
Sign in for free to see their profile details and contact information.