Page personnelle de Simon Forest

Bienvenue

Bienvenue sur ma page personnelle

Je suis étudiant en informatique à l’École Normale Supérieure de Paris. Je suis actuellement en recherche de thèse.

En 2016, j’ai fait un stage à l’École Polytechnique avec Samuel Mimram. J’ai travaillé là-bas sur les complexes de parité de Street et sur les pasting schemes de Johnson qui sont des structures permettant de représenter facilement des ω-catégories.

En 2015, j’ai fait un stage à l’INRIA de Paris avec Cătălin Hriţcu. J’avais alors travaillé sur F*, un langage de programmation et de vérification.

En 2014, j’ai fait un stage à l’Institute for Quantum Computing, à l’université de Waterloo au Canada. J’y ai étudié les propriétés mathématiques de certaines portes quantiques, ainsi que des techniques pour les générer efficacement.

Vous pouvez jeter un coup d’œil à mon CV.

You can have a look at my CV