I am a 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.
To prepare for such adventure, I graduated with the Master Parisien de Recherche en Informatique from Université Paris Diderot and formely worked on Malware Research and Pushdown Model-Checking as a Research Intern at Commissariat à l’Énergie Atomique (CEA LIST/LSL).
My research now focuses on giving formal semantics for heterogeneous models simulation expressed in the specification language TESL into the proof assistant Isabelle/HOL .


I share the deep conviction that mathematical foundations are essential for critical software-intensive systems development and hence formal methods are a cost-effective answer to the systems verification problem.

Previously, I have 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