About me
I am a mathematician with a PhD from Université Nice Sophia Antipolis.
Currently, I am a Birmingham Fellow at University of Birmingham, UK.
PhD and undergraduate projects
If you are interested in doing a PhD or undergraduate project with me, please get in touch.
My research interests include:
- Semantics of programming languages
- Logic and type theory, in particular Homotopy Type Theory
- Formal proofs and formalised mathematics, in particular Univalent Foundations
- Functional programming
- Category theory in programming
Contact
- Office
Room 215
School of Computer Science - Email:
B.Ahrens@cs.bham.ac.uk
benedikt.ahrens@gmail.com - Phone:
Office: +44 121 414 3711 - Postal address:
School of Computer Science
The University of Birmingham
Edgbaston
Birmingham
B15 2TT
United Kingdom - Web:
ORCID: 0000-0002-6786-4538
arXiv: Ahrens_B
This page was last updated at
2019-02-18 11:35:11 -0500
This site is compiled with
nanoc.
Built from code written by Cyril Cohen.
