About

I’m currently R&D engineer at OCamlPro, in the SuperBOL team where I contribute to the GnuCOBOL compiler and build tools for the COBOL language.

ReFL research network

I’m also a co-founder and the coordinator of ReFL, a French scientific network of people interested in fundamental questions of logic, computation and mathematics. We are mainly influenced by the developments of linear logic and its links with computer science.

I also organise seminars and events for ReFL.

ReFL homepage
ReFL members

Independent research

I do independent research at my own (slow) pace on the foundations of logic and its connexions with computation (Curry-Howard correspondance, proof theory, type theory, …). I’m especially interested in Girard’s transcendental syntax on which I did my PhD thesis. I consider it is currently the most satisfying theory of logic and computation.

I develop Stellogen, an experimental programming language based on Girard’s transcendental syntax.