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. The COBOL language is present in legacy systems for public administrations, banks or insurance firms.

ReFL

I’m also a co-founder and the coordinator of ReFL. It is a French network of young researchers 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.

Research

I do independent research at my own (slow) pace on the foundations of logic and its connexions with computation. 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.