About me
I am a mathematician with a PhD from Université Nice Sophia Antipolis.
Currently, I am a Birmingham Fellow (Lecturer with focus on research) in the School of Computer Science at University of Birmingham, UK. I am a member of the Theory of Computation Group.
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
PhD and undergraduate projects
If you are interested in doing a PhD or BSc/MSc project with me, please get in touch.
Contact
- Office hours
Tuesday, 11:30 – 12:30
Contact me for the Zoom contact data - 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 site is compiled with
nanoc.
Built from code written by Cyril Cohen.