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 Chantal Keller, Claude Marché 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 :


PRÉSENTATIONS / PUBLICATIONS

Audition de thèse, juin 2018.

Rapport de stage du M2 MPRI sur la démonstration automatique en Coq, septembre 2018.

Présentation au GT SCALP, novembre 2018.

Publication aux JFLA de l'article 'SMTCoq : Automatisation expressive et extensible dans Coq', janvier 2019.

Présentation aux JFLA, février 2019.

Présentation au GT UPSCaLe, juin 2019.



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.