About

I am a R&D Engineer at Nomadic Labs, a company developing the Tezos blockchain.

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. During research activites, I have co-developed a certified simulation solver that addresses polychronous systems with metric time constraints. 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 as enrolled in Integrated ATPL program.

Contact me