Informatique
Le Département d'enseignement 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 spécification et vérification (LSV).
Sites Internet
- Site du département d'enseignement Iinformatique
- Site du laboratoire associé : Laboratoire spécification et vérification (LSV)
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
