Quentin Garchery
Photo de profil
Bienvenue sur ma page !


Depuis octobre 2018, je suis doctorant au LRI dans l'équipe VALS. Mon sujet de thèse est la certification de la génération et de la transformation d'obligations de preuve et je suis encadré par Claude Marché, Chantal Keller et Andrei Paskevich.


Les années précédentes :

De septembre 2016 à septembre 2018, j'étais étudiant du Master Parisien de Recherche en Informatique de Paris Diderot (M1 et M2).

De septembre 2015 à septembre 2016, j'étais étudiant du Master 2 de Mathématiques Fondamentales de Paris Diderot.

De septembre 2011 à septembre 2015, j'étais normalien à l'ENS Rennes dans le département de mathématiques. J'ai obtenu l'agrégation de mathématiques.



ENSEIGNEMENT

Cette année, je suis chargé de TD des cours suivants :


PUBLICATIONS

Mon rapport de stage du M2 MPRI sur HAL : Démonstration automatique en Coq.

Article JFLA 2019 : à venir.



CONTACT

Envoyez-moi un mail : quentin (point) garchery (arobase) lri (point) fr

Ou un courrier : LRI, Bât 650 Ada Lovelace, Université Paris Sud, 91405 Orsay Cedex, France

Sinon, venez me voir au Laboratoire de Recherche en Informatique. Je suis au bureau 65.