Organisation

8 enseignants-chercheurs permanents

• 4 professeurs d'université
• 4 maîtres de conférences

7 enseignants-chercheurs temporaires (moniteurs)
14 enseignants ou chercheurs associés
3 personnels administratifs et techniques

Voir la page consacrée aux personnels sur le site du département

Formations proposées

• L3 à Cachan, avec quelques cours à l'ENS d'Ulm. Plus d'informations
  
• M1 à Cachan et au MPRI (master parisien de recherche en informatique). Plus d'informations
  
• M2 recherche à Cachan et au MPRI (master parisien de recherche en informatique). Plus d'informations
  
• Préparation à l'option informatique de l'agrégation de mathématiques. Plus d'informations
  
  

Les élèves ont la possibilité de suivre un double parcours math-info. Ils reçoivent le diplôme de l'ENS de Cachan.

Plus d'informations : le MPRI (master parisien de recherche en informatique)

Les détails des formations

Activités de recherche

Le laboratoire de recherche rattaché au département est le Laboratoire spécification et vérification (LSV). Les principaux thèmes de recherche sont :

• algorithmique de la vérification symbolique
• sécurité des systèmes d'information
• vérification des systèmes temporisés, concurrents ou probabilistes

Partenariats

Les élèves du département reçoivent le diplôme de L3 de l'université Paris 7.
Le département informatique de l'ENS Cachan est l'un des organisateurs du MPRI (master parisien de recherche en informatique) qui est en habilitation partagée entre l'Université Paris 7, les Écoles Normales Supérieures de Paris et de Cachan et l'École Polytechnique. Ce master est en convention avec les universités Paris 6, Paris 11 et l'École Nationale Supérieure des Télécommunications et en partenariat avec le CEA, le CNRS et l'INRIA.
La préparation à l'option informatique de l'agrégation de mathématiques est commune à l'ENS de Cachan et à l'université Paris 11.