Guillaume GENESTIER

PhD Student

My PhD topic

I started in september 2017 a PhD thesis under the direction of Frédéric Blanqui and Olivier Hermant on the termination checking of a rewrite rule system in the λΠ-calculus modulo theory and the implementation of it for Dedukti.

Teaching

2017-2018

Complexity tutoring - L3 ENS Paris-Saclay

The course notes can be found on the webpage of Philippe Schnoebelen and the exercise sheets on the one of Adrien Koutsos.

Logic - L3 ENS Paris-Saclay

The logic course will be teached between 24 January and 21 May. On their respective webpages, you can find the course notes of Hubert Comon and of Gilles Dowek

Publications

Contact

Do not hesitate to contact me using my e-mail.

If you prefer, you can directly let a message in the box below (please note that using e-mail I can easily answer to you, it is not the case with this form) :


About LSV

Contact

Address
LSV, CNRS & ENS de Cachan
61, avenue du Président Wilson
94235 CACHAN Cedex, France
Office
C1-13
Fax
+33 (0)1 47 40 75 21
Secr.
+33 (0)1 47 40 75 20
E-Mail
guillaume (dot) genestier (at) lsv.fr