Section: Dissemination

Teaching

Hedi Benzina held a part of the TPs of the course “Projet programmation réseau” for MPRI (Master Parisien de Recherche en Informatique) master level 1. Total amount (21h).

Sergiu Bursuc held exercise sessions for MPRI (Master Parisien de Recherche en Informatique) master level 1 courses of Advanced complexity (6h) and Tree automata techniques and applications (6h).

Ştefan Ciobâcă held the TPs (programming project) of the course Programmation 1.2 (ENS Cachan, first year=level L3) and part of the TDs (exercise sessions) for the course Algorithmique Avancée (ENS Cachan, first year=level L3) during the academic year 2008/2009. He is holding the TPs (programming project) of the course Programmation 1.2 (ENS Cachan, first year=level L3) and the TDs (exercise sessions) for the course Tree Automata and Applications (MPRI, level M1) during the academic year 2009/2010.

Hubert Comon-Lundh is teaching the logic course at the Bachelor level (L3) in ENS Cachan, the course on security protocols at the master level (M2, MPRI) and the logic course at the master level (M1) for the “agrégation de mathématiques”.

Jean Goubault-Larrecq gave the following courses: advanced complexity (ENS Cachan and ENS Paris, second year=level M1, 39h eq. TD), logic and computer science (i.e., lambda-calculus; ENS Cachan and ENS Paris, first year=level L3, 39h. eq. TD), automated deduction (MPRI, level M2, 18h eq. TD), complexity and logic (ENS Cachan, first year=level L3, 22h eq. TD), programming (ENS Cachan, first year=level L3, 36h eq. TD). He also participated to rehearsals of lessons of “agrégation”, ENS Cachan, 3rd year, 27h. eq. TD.

Steve Kremer gave part of a course on formal verification of security protocols in the course “Méthodes de vérification de sécurité” (verification methods for security) at the “Master Sécurité des Systèmes Informatiques”, second year, University Paris XII. Total amount: 9h (TD eq.).