I am an associate professor at IRIF, the theoretical computer science lab at Université de Paris. My research lies at the junction between mathematics, computer science and logic and includes such topics as classical realizability and denotational semantics of programs (particularly probabilistic programs).

I am also one of the founders of Pi Day association, a non-profit organisation for popularisation of mathematics. Among other things, we produce mathematical musicals!

This page is under construction.