Contacts

Master :

  • SYLVAIN.SCHMITZ [at] ens-cachan.fr (Sylvain Schmitz )(Responsable M1)
  • gilles.dowek [at] ens-cachan.fr (Gilles Dowek) (Responsable M2)

Département :

thomas.chatain [at] ens-cachan.fr (Thomas Chatain) (Responsable année Arpe)

Département Informatique ENS Paris-Saclay

Informatique

Le département propose une formation orientée vers les fondements de l'informatique préparant en particulier aux métiers de la recherche scientifique. 
À l'issue de cette solide formation, les étudiants ont la capacité de suivre des carrières diversifiées.

Le département mène aussi des activités de recherche en partenariat avec le Laboratoire spécification et vérification (LSV).

Bâtiment d'Alembert - 2e étage
61, Avenue du Président Wilson
94235 Cachan Cedex
Tel. + 33 1 47 40 75 20

Organisation

Directeur : haddad [at] lsv.ens-cachan.fr (Serge HADDAD)

9 enseignants / chercheurs permanents
9 enseignants / chercheurs temporaires
22 enseignants / chercheurs associés
3 personnels administratifs et techniques

Formation

Cette formation comporte une année de licence (L3) et deux années de master recherche, en général dans le cadre du master parisien de recherche en informatique (MPRI)

Elle permet aussi de suivre un cursus mixte mathématiques/informatique à la carte, avec la possibilité de passer l'agrégation de mathématiques, option informatique en bénéficiant de la seule préparation à cette option en région parisienne. 

  • Année L3  avec quelques cours à l'ENS d'Ulm. 
  • Année M1 et au MPRI (master parisien de recherche en informatique. 
  • M2 Recherche à Cachan et au MPRI (master parisien de recherche en informatique).
  • Prépa Agrégation : Préparation à l'option informatique de l'agrégation de mathématiques. 

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

Matières principales enseignées en première et deuxième année de scolarité

  • Algorithmique
  • Programmation
  • Logique
  • Langages Formels
  • Calculabilité et complexité

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

  • Université Paris 7 : pour le diplôme de L3.
  • Université Paris 7, Écoles normales supérieures de Paris et Paris-Saclay et l'École Polytechnique : habilitation partagée pour le MPRI
  • 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.
  • ENS Paris-Saclay et l'université Paris 11 : préparation commune à l'option informatique de l'agrégation de mathématiques