Boris ENG

PhD Student in Computer Science, Team LoVe, LIPN (Université Sorbonne Paris Nord, France) [last name][first name]@hotmail.fr

Hello, I’m Boris. I would like to understand the link between logic and computation and their foundation. I work on Girard’s Transcendental Syntax programme. I am member of the Transcendentalist Circle.

Recent works: