Personal I hate driving (in Paris). I can have migraines if you talk about too difficult things for a too long time. ★ More information (Premium only) Work I work with Windows 10 and Atom. I’m not good at mathematics but I would like to become better. Scientific Timeline 1996 I was born as Sambo Boris ENG instead of Boris Sambo ENG (administrative mistake from my parents). 2002 I drew a beautiful Tyrannosaurus Rex. 2009 The origin of my discovery of programming was the wish to make RPG games (which I was never able to make) 2014 I got refused for the admission in DUT Informatique (2-years technical in Computer Science). Later got admitted with Kostia Chardonnet after several calls and an interview in IUT Montreuil. I then realized the existence of theoretical research in Computer Science. 2015 I had a growing interests for the "logic side" of the Curry-Howard correspondence. I was told that I shouldn't read the "Blind Spot" of Girard if I wanted to learn more about Logic but I read it anyway. 2017 I learnt about the Geometry of Interaction and the Transcendental Syntax project of Girard. After reading several articles and books about Logic and Computation, I was still not satisfied by it and felt a lack of understanding. Now I'm a bit lost but I'm doing my best. Education Degree School Year PhD in Computer Science Université Paris 13 2019–Now Master Parisien de Recherche en Informatique (MPRI) Université Paris 7 2018–2019 Master 1 Informatique Recherche (15.5/20, mention B) Université Paris 7 2017–2018 Licence 3 Informatique (Rang 2, Rang 1, mention TB) Université Paris 7 2016–2017 DUT Informatique (Rang 1) IUT de Montreuil 2014–2016 Baccalauréat Technologique STI2D (Mention B) Lycée Dorian 2011–2014 Note that I didn’t have a scientific/mathematical education but rather a technical one. I studied electronics and sustainable development (I still don’t understand how they’re related) for the “baccalauréat STID2”. The DUT Informatique is a 2-years technical degree in IT.