Contacts

Master :

  • thomas.chatain [at] ens-paris-saclay.fr (Thomas Chatain)title="Thomas Chatain" (Responsable M1)
  • jgl [at] lmf.cnrs.fr (Jean Goubault-Larrecq)title="Jean Goubault-Larrecq" (Responsable M2)

Département :

  • stephane.le_roux [at] ens-paris-saclay.fr (Stéphane Le Roux)title="Stéphane Le Roux" (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é

Admission

Concours d'admission en 1ère année

Après une classe préparatoire aux grandes écoles, le recrutement sur concours permet d'accéder au statut de normalien·ne-élève. Rémunérés pendant leurs études, les normalien·ne·s-élèves ont obligation de réussite et sont soumis à un engagement décennal.

Concours d'admission en 2ème année

Pour entrer directement en 2ème année du diplôme de l'ENS Paris Saclay, concours d'entrée en cycle master permettant d'effectuer trois années de formation rémunérées.

Recrutement sur dossier et entretien

Le recrutement sur dossier permet d'accéder au statut de normalien·ne-étudiant·e. Ce statut offre la même formation et le même suivi pédagogique que les normalien·ne·s-élèves à l'exception qu'ils ne sont pas rémunérés pendant leurs études et qu'ils ne sont donc pas soumis à l'engagement décennal.


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