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

All the wordings (in French) can be found on the French version of this webpage.

Publications (and other documents)

Software Development

Contact

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

About LSV

    

Contact

Address
LSV, CNRS & ENS Paris-Saclay
61, avenue du Président Wilson
94235 CACHAN Cedex, France
Office
C1-13
Phone
+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