Dino Factory

Boris Eng

R&D engineer PhD in computer science

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.

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.

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.