Guillaume GENESTIER

Doctorant

Mon sujet de thèse

J'ai démarré en septembre 2017 une thèse avec Frédéric Blanqui et Olivier Hermant sur la vérification de la terminaison d'un système de réécriture dans le λΠ-calcul modulo théorie et l'implémentation d'un vérificateur de terminaison pour Dedukti.

Enseignement

2019-2020

Introduction à l'algorithmique et à la programmation C++ - L1 IUT d'Orsay

Ce cours aura lieu du 9 septembre au 25 octobre. Les cours magistraux sont faits par Cécile Balkanski et Hélène Maynard. Vous trouverez la totalité des documents utiles sur le Moodle de l'IUT d'Orsay (nécessitant malheureusement un compte).
Corrigés

Années précédentes

2018-2019

2017-2018

Publications (et autres documents)

Développement logiciel

Me contacter

N'hésitez pas me contacter par mail.

À propos du LSV

    

Contact

Adresse
LSV, CNRS & ENS Paris-Saclay
61, avenue du Président Wilson
94235 CACHAN Cedex, France
Bureau
C1-13
Tél.
+33 (0)1 47 40 77 82
Fax
+33 (0)1 47 40 75 21
Secr.
+33 (0)1 47 40 75 20
E-Mail
guillaume (dot) genestier (at) lsv.fr