25% off
Applykite25
Benedikt Ahrens
Has grant
Assistant Professor
Delft University of Technology
Netherlands
Research Interests
Algebra
20%
Mathematical Logic
40%
Type Theory
40%
Category Theory
40%
Mathematics
40%
Homology Theory
30%
Computer Science
30%
Ask ApplyKite AI
Start chatting
How can you help me contact this professor?
What are this professor's research interests?
How should I write an email to this professor?
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(9)
Collaborators(1)
Dan Frumin
University of Groningen
NETHERLANDS