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

Section: Dissemination

Teaching - Supervision - Juries


Michel Mauny has been a Professor at ENSTA-ParisTech from August 1st, 2005 to July 31st, 2016. While at ENSTA-ParisTech, Michel Mauny was in charge of the specialization “Architecture and Security of Information Systems” (MSc. 2nd year).

François Pottier has been a Professeur Chargé de Cours at École Polytechnique from September 1st, 2004 to August 31st, 2016.

Didier Rémy is Inria's delegate in the pedagogical team of the MPRI.

Fabrice Le Fessant has been involved in the second edition of the OCaml MOOC on the FUN platform, in coordination with the OCamlPro team in charge of the development of the exercise platform [33].



François Pottier was a reviewer for the Ph.D. thesis of Benoît Vaugon, Université Paris-Saclay, March 2016. He was a reviewer for the Habilitation of Damien Pous, ENS Lyon, September 2016. He was a member of the jury for the Ph.D. thesis of Léon Gondelman, Université Paris-Saclay, December 2016.

Xavier Leroy was on the Ph.D. committee of Pierre Wilke, Université Rennes 1, November 2016.

Didier Rémy was chair of the Ph.D. committee of Raphaël Cauderlier, Conservatoire National des Arts et Métiers (CNAM), October 2016.