I am a mathematician with a PhD from Université Nice Sophia Antipolis.
Currently, I am a researcher in formal verification at Hensoldt Cyber.
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