Scholar
Benedikt Ahrens
Google Scholar ID: hdr4g6UAAAAJ
Delft University of Technology
Citations & Impact
Citations
641
H-index
13
i10-index
18
Publications
20
Co-authors
14
list available
Contact
Publications
Resume (English only)
Research Experience
- Currently an assistant professor in the Programming Languages group at Delft University of Technology, Netherlands.
Education
- Obtained PhD in Mathematics from Université Côte d’Azur, formerly Université Nice Sophia Antipolis, in Laboratoire Jean Alexandre Dieudonné.
Background
- Research interests include: Semantics of programming languages, Logic and type theory (in particular Homotopy Type Theory), Formal proofs and formalized mathematics (in particular Univalent Foundations), Functional programming, Category theory in programming.
Miscellany
- Email: b.p.ahrens@tudelft.nl, benedikt.ahrens@gmail.com; Office: Department of Software Technology, Building 28, Office 3.E.280 (3rd floor, East corridor), Delft University of Technology; Web: ORCID: 0000-0002-6786-4538, arXiv: Ahrens_B, github: benediktahrens
