A picture of me

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.

From September 2021 on, I am going to be a member of the Programming Languages group at TU Delft, Netherlands.

I remain a Birmingham Fellow in the School of Computer Science at University of Birmingham, UK.

My research interests include:

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


This site is compiled with nanoc. Built from code written by Cyril Cohen.