About

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.

Research

I share the deep conviction that mathematics are a cost-effective answer to verify critical software-intensive systems, and prevent future generation software failures. My current research interests include: formal methods, mechanized semantics, and simulation languages.

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.

Photography

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

Contact me