Eng (Sambo) Boris

PhD Student in Computer Science, Team LoVe, LIPN (Université Sorbonne Paris Nord, France) engboris@hotmail.fr

Publications

Unpublished works

PhD thesis

Other interests: ludics, non-classical approaches in computational complexity, linguistics (syntax, semantics, pragmatics), quantum computation, interdisciplinary connections, social-psychological-biological understanding of logic, epistemology, foundations of logic and computation, reconciliation between existence/essence and subject/object, monist approaches.

Activity report: september 2020

Internship reports

All documents are written in French.

Title Advisor(s) Report Slides Other
De la Géométrie de l’Interaction à la Syntaxe Transcendentale (2019/incomplete). Thomas Seiller PDF PDF subject
Sur l’espace des termes et des machines (2018/incomplete). Damiano Mazza PDF PDF  
Etude du langage PCF à travers les réseaux de preuve de la logique linéaire (2017). Michele Pagani and Delia Kesner PDF    
Formalisation des garanties de sécurité apportées par l’isolation de composants logiciels (2016). Yannis Juglaret PDF PDF source