Eng (Sambo) Boris

PhD Student in Computer Science at Laboratoire d'Informatique de Paris Nord (Université Paris 13, France)

Introduction

Hello, I’m Boris. I’m a PhD student in Computer Science at Université de Villetaneuse Paris 13 (Team LoVe, LIPN). My aim is to understand the nature of Logic and Computation and their underlying mechanism. I would like to free knowledge from prejudices and biases as much as possible. I am sensitive to problems regarding education, critical thinking, beliefs, misinformation and the spreading of knowledge/information. I would like to be able to speak over 10 languages, to travel around the world and to be able to clearly convey my thoughts and ideas (and if possible to be rich and famous). But I have to understand what I’m doing and studying in the first place.

Scientific interests

Education

Degree School Year
current PhD in Computer Science (Team LoVe, LIPN) Université Paris 13 2019-Now
M2 Master Parisien de Recherche en Informatique (MPRI) Université Paris 7 2018-2019
M1 Informatique Recherche (IR) Université Paris 7 2017-2018
L3 Informatique (Rang 2, Rang 1) Université Paris 7 2016-2017
DUT Informatique (Rang 1) IUT de Montreuil 2014-2016
Baccalauréat Technologique STI2D (Mention Bien) Lycée Dorian 2011-2014

Research

Description Advisor Documents
current From the Geometry of Interaction to the Transcendental Syntax (M2 INFO) Thomas Seiller (Paris 13 / LIPN) reportslidessubject
Space-complexity of the lambda-calculus with intersection types (M1 INFO) Damiano Mazza (Paris 13 / LIPN) reportslides
Simulation of PCF with explicit substitutions in MELL proof nets (L3 INFO) Michele Pagani and Delia Kesner (Paris 7 / IRIF) report
Formalization of formal guarantees of security on programs using Coq (DUT INFO) Yannis Juglaret (Inria Paris / PROSECCO) reportslidessource

Full Curriculum Vitae

Download/Open (Last update : September 3th, 2019)