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.

I am also 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.