⊢ Boris Eng
R&D engineer with PhD in computer science
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.
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.
I do independent research on the foundations of logic and its connexions with computation. I develop Stellogen, an experimental programming language based on Girard's transcendental syntax.
Work
PhD Thesis: An Exegesis of Transcendental Syntax
PhD thesis in computer science and mathematical logic at Université Sorbonne Paris Nord, supervised by Thomas Seiller and Damiano Mazza.
View Project
ReFL Research Network
Co-founder and coordinator of ReFL, a French scientific network focused on fundamental questions of logic, computation and mathematics.
View Project
Stellogen Programming Language
An experimental programming language based on Girard's transcendental syntax, exploring the computational foundations of logic.
View Project
GnuCOBOL Contributions
Contributing to the GnuCOBOL open source C transpiler for COBOL at OCamlPro since 2024, helping fix bugs on the compiler.
View Project