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).
Sites Internet
- Site internet du DER Informatique.
- Laboratoire associé : Laboratoire Méthodes Formelles (LMF)
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