Boris ENG

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

PhD thesis

Current research directions: computation with interactive hypergraphs, geometric tilings, approximation of computation, geometry of interaction and automata theory, geometry of interaction and implicit computational complexity, links between logic and functional programming, representations of proofs.

Secondary research interests: quantum computation, homotopy type theory, realizability, linguistics, bioinformatics, ludics, game semantics, history of logic.


Unpublished works

Presentations (slides PDF)

Internship reports

All documents are written in French.