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 d'enseignement et de recherche d'Informatique ENS Paris-Saclay

Informatique

Le Département d'enseignement et de recherche (DER) d'informatique 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 Méthodes Formelles (LMF).

Bâtiment Nord - 1U54
4, avenue des Sciences
91190 Gif-sur-Yvette
Tel. + 33 1 81 87 54 54

Sites Internet


Organisation

  • Directrice : mihaela.sighireanu [at] lsv.fr (Mihaela Sighireanu)
  • 9 enseignants / chercheurs permanents
  • 8 enseignants / chercheurs temporaires
  • 24 enseignants / chercheurs associés
  • 2 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, avec la possibilité de passer l'agrégation d’informatique ou celle de mathématiques.

  • Année L3 avec choix d’un parcours Informatique ou Mathématiques-Informatique et quelques cours à l'ENS Paris.
  • Année M1 au MPRI.
  • M2 Recherche au MPRI ou dans un master validé par l’établissement.
  • Une quatrième année de recherche personnalisée ou préparation à l'agrégation d’Informatique (dans le département à partir de la rentrée 2022) ou mathématiques (dans le département de mathématiques).

Ils reçoivent le diplôme de l'ENS Paris-Saclay en validant des items supplémentaires.

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 département est affilié pour ses activités de recherche au  Laboratoire Méthodes Formelles (LMF).

Les principaux thèmes de recherche de ses membres sont :

  • modèles formels pour la concurrence, les systèmes critiques, distribués et probabilistes
  • algorithmique de la vérification symbolique
  • sécurité des systèmes d'information
  • preuve mécanisée et preuve de programmes
  • calcul, langages de programmation et leur compilation
  • modèles formels pour l’informatique quantique, la bio-informatique et l’intelligence artificielle

Partenariats

  • Université Paris Saclay pour le diplôme de L3 et les masters recherche
  • Université de Paris, Paris Science et Lettres, Institut Polytechnique de Paris pour l’habilitation partagée du MPRI
  • Participation de chercheurs du CNRS et de l'INRIA aux enseignements du MPRI