Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: Dissemination

Teaching - Supervision - Juries


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.



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