Section: Dissemination

Teaching - Supervision - Juries

Teaching

Master: Pierre Halmagrand, Initiation à la Méthode B, 54 HETD, M2, CNAM.

License: Frédéric Gilbert, Les principes des langages de programmation, 40, L3, Ecole Polytechnique.

License: Raphaël Cauderlier, Introduction aux Bases de Données Relationnelles, 21, L2, UPMC.

License: Raphaël Cauderlier, Projet (Application) : Android, 42, L2, UPMC.

License: Raphaël Cauderlier, Eléments de programmation 1, 58, L1, UPMC.

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

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

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

Master: Guillaume Burel, Systèmes et langages formels, 8.75 HETD, M1, ENSIIE.

Master: Guillaume Burel, Compilation, 24.5 HETD, M1, ENSIIE.

Master: Guillaume Burel, Preuve, Analyse statique, Vérification run-time, 13 HETD, M2 CILS, Paris-Saclay.

Licence: Guillaume Burel is in charge of the 4th and 5th semesters of the engineering degree at ENSIIE, and was responsible for the final engineer internship until September, 2015.

Gilles Dowek has given a course at the MPRI.

Gilles Dowek has been teaching at ENS-Cachan.

Gilles Dowek has given various talks about teaching informatics in primary and secondary education.

Gilles Dowek has participated to several training sessions for high school teachers with La Main à la Pâte.

Licence: Olivier Hermant, Introduction to Programming in Python, 100 HETD, L1-L3, Wesleyan University, USA.

Supervision

• PhD: Simon Cruanes, Extending Superposition with Integer Arithmetic, Structural Induction, and Beyond [13] , defended at École polytechnique on September the 10th, supervised by Guillaume Burel and Gilles Dowek.

• PhD: Bruno Bernardo, An implicit Calculus of Constructions with dependent sums and decidable type inference [12] , defended at École polytechnique on September the 18th, supervised by Bruno Barras and Gilles Dowek.

• PhD: Ali Assaf, A framework for defining computational higher-order logics [11] , defended at École polytechnique on September 28, 2015, supervised by Gilles Dowek and Guillaume Burel.

• PhD: Kailiang Ji, Model Checking and Theorem Proving [14] , defended at Paris Diderot on September 25, 2015, supervised by Gilles Dowek.

• PhD: Ronan Saillard, Typechecking in the $\lambda \Pi$-Calculus Modulo: Theory and Practice  [55] , defended at MINES ParisTech on September 25, 2015, supervised by Olivier Hermant and Pierre Jouvelot.

• PhD in progress: Guillaume Bury, Deduction Modulo Theory, started October 1st, 2015, supervised by David Delahaye and Gilles Dowek.

• PhD in progress: Raphaël Cauderlier, Object-oriented mechanisms for interoperability of proof systems, started September 1st, 2013, supervised by Catherine Dubois.

Juries

Gilles Dowek is a member of the prix Le Monde de la Recherche Universitaire.