I am a 4th year PhD candidate under Pr Burkhart Wolff and Pr Frédéric Boulanger in the VALS/MODHEL joint groups of LRI at Université Paris-Sud/CNRS.

I share the deep conviction that formal methods are a cost-effective answer to verify and validate critical software-intensive systems. In particular, my research is about formalizing the TESL simulation language by designing its semantics in Isabelle/HOL .


Previously, I have also collaborated with teams developing the Pratham satellite, which has been successfully launched on September 26th, 2016 at 3:42 UTC onboard PSLV-C35.


Apart from work matters, my interests mostly lie in traveling the world to discover and capture endless wild landscapes. Distribution licences are provided by Getty Images.

Contact me