I am an assistant professor at Télécom Paris and Institut Polytechnique de Paris doing research on decision making in complex systems. My current research aims to make progress in fundamental questions arising at the union of systems theory, formal methods, and reinforcement learning.

Responsible development for the physical world   Increment; 2021
a case for designing software with safety and formal methods in mind

Turing categories   The n-Category Café; 2019
what is the connection between computation and category theory?

Contact me  |   Hack my code  |   Read my preprints and publications