Description: Boris Eng's webpage.
Hello, I’m Boris. I study the computational foundations of linear logic. In particular, I worked on Girard’s transcendental syntax programme with my PhD advisor Thomas Seiller . In my research page , I give more details about what I do and my personal understanding of logic and computation.
I am 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.
Hello, I’m Boris. I’m currently looking for a position in software engineering related to functional programming. Previously, I studied the connexion between computation and logic through Girard’s transcendental syntax.