Section: Dissemination

Teaching - Supervision - Juries

• Master: Frédéric Blanqui, formal languages, 21h, M1, ENSIIE, France

• Master: Frédéric Blanqui, rewriting theory, 14h, M1, ENS Paris-Saclay, France

• Master: Frédéric Blanqui, $\lambda$-calculus and theories in first-order logic, 18h, M1/M2, ENS Paris-Saclay, France

• Master: Bruno Barras, Proof Assistants, 12h, M2, MPRI, France

• Master: Gabriel Hondet, rewriting theory TD, 14h, M!, ENS Paris-Saclay, France

• Licence: Gabriel Hondet, operating systems and architecture TD, 22.5h, L3, ENS Paris-Saclay, France

• Licence: Gabriel Hondet, programming TD, 12h, L3, ENS Paris-Saclay, France

• License: Gaspard Férey, Théorie des Langages, 44h, L3, EISTI

• IUT: Yacine El Haddad, Programmation Web Côté Serveur, 62h, IUT of Orsay

• PhD in progress: Guillaume Genestier, termination in $\lambda \Pi$-calculus modulo theory, 01/10/17, Frédéric Blanqui and Olivier Hermant.

• PhD in progress: Mohamed Yacine El Haddad, using automated provers in proof assistants, 05/01/18, Frédéric Blanqui and Guillaume Burel.

• PhD in progress: Gabriel Hondet, translating PVS proofs to Dedukti, 01/10/19, Frédéric Blanqui and Gilles Dowek.