Mail : simon.boulier@inria.fr
In september 2015, I started a PhD on Homotopy Type Theory in École des Mines de Nantes (France), under the direction of Nicolas Tabareau, within the CoqHoTT project.
Jan. 2017 CPP - with P.-M. Pédrot and N. Tabareau - The next 700 syntactical models of type theory link
Jan. 2017 JFLA - with P.-M. Pédrot and N. Tabareau - Modèles de la théorie des types donnés par traduction de programmes (french and alternate version of the CPP article) slides
2017 Draft - with N. Tabareau - Model structure on the universe in a two level type theory link
2018 : my thesis
Feb. 11, 2016 CHoCoLa meeting (Lyon) - Model structure in Homotopy Type Theory slides link
May 30, 2017 Deducteam Seminar (Cachan) - Models of type theory given by program translation slides
Sept. 9, 2017 HoTT/UF Workshop (Oxford) - Model structure on the universe in a two level type theory slides
Latex code for the universe of fibrant types: \mathcal{U\hspace{-0.34em}F}_{i}
Report (in French) of my master internship. I worked on colimits in HoTT.
When I was young, I did an internship under the direction of Alan Schmitt and I formalized some properties of HOcore, a process calculus. Here is the article that we presented at JFLA 2012.
En 2013, j'ai passé l'agreg de maths option info, quelques développements ici.
Last update: September 9, 2017