About me
I am a mathematician with a PhD from Université Nice Sophia Antipolis.
Currently, I am a researcher in formal verification at Hensoldt Cyber.
I am also a Birmingham Fellow in the School of Computer Science at University of Birmingham, UK.
My 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
PhD and undergraduate projects
If you are interested in doing a PhD or BSc/MSc project with me, please get in touch.
Contact and other info
- Email:
benedikt.ahrens@gmail.com - Web:
ORCID: 0000-0002-6786-4538
arXiv: Ahrens_B
github: benediktahrens
This site is compiled with
nanoc.
Built from code written by Cyril Cohen.
