About

I am an Independent Researcher in Computer Science.

Research

Lately, I defended and obtained a Doctorate Degree in Computer Science from Université Paris Saclay entitled Formalizing Time and Causality in Polychronous Polytimed Models. I share the conviction that mathematics are a cost-effective answer to design critical software-intensive systems. In particular, I have co-developed a certified simulation solver that addresses polytimed systems (relativistic time). For some examples, check out

In the past, I have collaborated with developers of the Pratham satellite, which has been successfully launched on September 26th, 2016 at 3:42 UTC onboard PSLV-C35.

Aviation

I also hold a Commercial Pilot Licence delivered by Aéropyrénées as enrolled in Integrated ATPL program.

Contact me