Boris Eng

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

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.

Previous positions: