Deputy Director
Giuseppe Castagna


Administrative manager
Odile Ainardi

Contact :

Administrative office
Dieneba Camara

Management Board

  • Director: Fréderic Magniez
  • Deputy Director: Giuseppe Castagna
  • Leader of pole Algorithms and discrete structures: Sylvie Corteel
  • Leader of pole Automata, Structures, and Verification: Ahmed Bouajjani
  • Leader of pole Proofs, programs and systems: Yves Guiraud
  • Director of UFR: Hugues Fauconnier
  • Administrative manager: Odile Ainardi



  • Communication committee: Giuseppe Castagna, Thomas Colcombet, Pierre Fraigniaud, Yves Guiraud, Houy Kuoy, Frédéric Magniez, Paul-Andre Mellies, Yann Régis-Gianas (responsible). Contact:
  • Office space committee: Samy Abbes (responsible), Peter Habermehl, Michel Habib, Arnaud Sangnier, Alexis Saurin, Olivier Serre. Contact:
  • Student advising committee:
    • Pole Algorithms and discrete structures: Enrica Duchi and Laurent Viennot
    • Pole Automata, Structures, and Verification: Peter Habermehl and Sylvain Perifel
    • Pole Proofs, programs and systems: Alexis Saurin and Christine Tasson
    • Main contact:
  • Equipment committee: Paul Rozière (responsible), Yves Legrandgerard. Contact:
  • Safety and Security Assistant : Laifa Ahmadi. Contact:

Laboratory Council

  • Ex-officio members (direction): Giuseppe Castagna (deputy director), Frédéric Magniez (director)
  • Elected members from category EC and C: Pierre Charbit, Juliusz Chroboczek, Thomas Colcombet, Delia Kesner, Paul-André Melliès, Cristina Sirangelo
  • Elected members from category ITA: Odile Ainardi
  • Elected members from PhD students and postdocs: Rémi Nollet
  • Appointed members: Guillaume Chapuy, Constantin Enea, Iordanis Kerenidis, Alexis Saurin, Laurent Viennot
  • Invited members: Conseil de direction (Ahmed Bouajjani, Sylvie Corteel, Yves Guiraud, Hugues Fauconnier), directeur adjoint de la FSMP (Olivier Serre), responsable de la plateforme informatique (Yves Legrandgérard)