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:
- ATER (Attaché temporaire d’enseignement et de recherche), 2022–2023, Université Sorbonne Paris 13 (Institut Galilée). I had 192 hours of teaching duties at Université Sorbonne Paris Nord.
- PhD student in computer science, 2019–2023, Université Sorbonne Paris 13 (LIPN). I studied Girard’s transcendental syntax with Thomas Seiller. The manuscript of my PhD thesis in available on HAL.