Hello, I’m Boris. I’m currently looking for a position in software engineering related (if possible) to functional programming and financial systems. Previously, I studied the connexion between computation and logic through Girard’s transcendental syntax.
I’m a co-founder of ReFL. It is a French discussion group of mostly young researchers interested in fundamental questions regarding the nature and conceptual organisation of logic, computation and mathematics. We are mainly influenced by the developments of linear logic and its links with computer science.
The manuscript of my PhD thesis in available on HAL.
- ATER (Attaché temporaire d’enseignement et de recherche), 2022–2023, Université Sorbonne Paris 13 (Institut Galilée). I had 192 hours of teaching duties in 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.