Boris Eng

R&D Engineer at OCamlPro, PhD in computer science [first name][last name]@proton.me

Hello, I’m Boris. I’m currently R&D engineer at OCamlPro. I will work on the GnuCOBOL compiler.

I’m a co-founder of ReFL. It is a French network of young researchers interested in fundamental questions on logic, computation and mathematics. We are mainly influenced by the developments of linear logic and its links with computer science.

Previous positions: