Section: Dissemination

Teaching - Supervision - Juries

Teaching activities

Olivier Hermant has taught at ISEP four engineering courses: Preparation to the ACM programming contest, Data bases, Formal methods, and Algorithmics.

Guillaume Burel has taught at ENSIIE five courses: Logic, Formal languages, Compilation, and Semantics of programming languages.

Alejandro Díaz-Caro has been teaching assistant at Paris 10 for four courses: in Mathematics (in two different degrees) and in Methodology of measure in social sciences.

Pierre Néron has been a teaching assistant in Polytech' Jussieu for two courses: Project in C and Introduction to networks.

Gilles Dowek has taught in MPRI a course: Foundations of proof systems. He has coordinated a textbook for high school students [39] . He is a member of the Scientific board of La main à la pâte.

Ph.D. supervision

Olivier Hermant supervises the theses of Ronan Saillard, Giang Le Truong, and Vivien Maisonneuve.

Catherine Dubois and David Delahaye supervise the thesis of Mélanie Jacquel and Pierre Nicolas Tollitte.

Catherine Dubois and Francois Pessaux (ENSTA) supervise the thesis of Vincent Benayoun.

Catherine Dubois supervises the research internship of Raphaël Cauderlier.

Guillaume Burel and Gilles Dowek supervise the theses of Ali Assaf and Simon Cruanes.

Gilles Dowek supervises the thesis of Pierre Néron.

Supervision of Masters internship

Catherine Dubois and Olivier Hermant have supervises the Masters internship of Raphaël Cauderlier.

Olivier Hermant and Mathieu Boespflug have supervised the Masters internship of Quentin Carbonneaux.

Guillaume Burel and Gilles Dowek have supervised the Masters internship of Ali Assaf.

Gilles Dowek and Pierre Néron have supervised the Masters internship of Raphaël Bost.

Juries

Gilles Dowek has been a member of the Jury of Vincent Demange. he has been a member of the Jury of the habilitations of Frédéric Blanqui and Sylvain Conchon.

Catherine Dubois has been a member of the jury of Maximiliano Cristia and a member of the jury of Ophaina Taofifenua.