Section: Dissemination

Teaching - Supervision - Juries

Teaching

CPGE: Simon Cruanes, Mathématiques-Informatiques en MPSI, 64 HETD, MPSI, Lycée Saint-Louis, France.

Licence : Raphaël Cauderlier, Eléments de programmation 2, 63 HETD, L1, UPMC, France.

License: Ali Assaf, Algorithmique et programmation, 36 HETD, L3, Ecole Polytechnique, France.

License: Ali Assaf, Les bases de la programmation et de l’algorithmique, 36 HETD, L3, Ecole Polytechnique, France.

Licence : Alejandro Díaz-Caro, Mathématiques 2, 18 HETD, L1, Université Paris-Ouest Nanterre La Défense, France.

Licence : Alejandro Díaz-Caro, Méthodologie de la mesure en sciences humaines, 48 HETD, L1, Université Paris-Ouest Nanterre La Défense, France.

Licence : Alejandro Díaz-Caro, Statistiques et probabilités, 18 HETD, L2, Université Paris-Ouest Nanterre La Défense, France.

Licence : Alejandro Díaz-Caro, Probabilités, 36 HETD, L2, Université Paris-Ouest Nanterre La Défense, France.

Licence : Alejandro Díaz-Caro, Probabilités, 36 HETD, L2, Université Paris-Ouest Nanterre La Défense, France.

Licence: Ronan Saillard, Programmation Orientée Objet en Java, 27 HETD, Telecom ParisTech, France.

Licence: Guillaume Burel, Programmation avancée, 25.5 HETD, L3, ENSIIE, France

Licence: Guillaume Burel, Logique, 10.5 HETD, L3, ENSIIE, France

Licence: Guillaume Burel, Projet informatique, 22.75 HETD, L3, ENSIIE, France

Master: Guillaume Burel, Systèmes et langages formels, 17.5 HETD, M1, ENSIIE, France

Master: Guillaume Burel, Compilation, 33.25 HETD, M1, ENSIIE, France

Licence: Guillaume Burel is in charge of the 4th, 5th, and 6th semesters of the engineering degree at ENSIIE.

Licence: Pierre Halmagrand, Initiation à la Programmation en JAVA, 48.75 HETD, L1, CNAM, France

Master: Pierre Halmagrand, Initiation à la Méthode B, 53.7 HETD, M2, CNAM, France

Master: Gilles Dowek has given invited classes at Supelec, Centrale, INSA-Lyon.

Supervision

PhD : Kim-Quyen Ly, Automated verification of termination certificates [11] , University Joseph Fourier, Grenoble, 9 October 2014, Jean-François Monin and Frédéric Blanqui.

PhD in progress : Ronan Saillard, Systèmes de Types Modulo, Oct 2012, Olivier Hermant and Pierre Jouvelot.

PhD in progress : Pierre Halmagrand, “Automated Deduction Modulo”, from Oct. 2013, David Delahaye, Olivier Hermant, and Damien Doligez.

PhD in progress : Guillaume Bury, “SMT Modulo”, Oct. 2014, David Delahaye.

PhD in progress : Ali Assaf, Interoperability of Proof Systems, Oct. 2012, Gilles Dowek and Guillaume Burel.

PhD in progress : Simon Cruanes, Automated reasoning modulo theories, August 2012, Gilles Dowek and Guillaume Burel.

PhD in progress : Kailiang Ji, Model Checking and Automated Theorem Proving, October 2012, Gilles Dowek.

Juries

David Delahaye reviewed the PhD thesis of Hernán Vanzetto, supervised by Stephan Merz and Kaustuv Chaudhuri, and defended in Dec. 2014 in Nancy.

David Delahaye was part of the HDR jury of Stéphane Lengrand, defended in Dec. 2014 at École Polytechnique in Palaiseau.

Gilles Dowek has been part of the HDR committee of Philippe Malbos.

Catherine Dubois reviewed the HDR thesis of Oum-El-Kheir Aktouf, defended in July 2014 in Valence.