Boris Eng

PhD in theoretical computer science, looking for a position in software engineering [first name][last name]@proton.me

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.

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.

Previous positions: