Work
Engineering
GnuCOBOL Contributions
Contributing to the GnuCOBOL open source C transpiler for COBOL at OCamlPro since 2024, helping fix bugs on the compiler.
View Project
Independent Research
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
Academia
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
Academic Presentations
Various presentations on transcendental syntax, geometry of interaction, and linear logic at conferences and seminars.
View Project
Past Internships
Research internships in computer science and mathematical logic during my academic journey.
View Project
Teaching at Université Sorbonne Paris Nord
Teaching experience in computer science courses from 2019 to 2023, covering programming, logic, and distributed systems.
View Project