Nos disciplines de prédilection sont :
- l'algorithmique,
- les modèles de calcul et leur complexité,
- la logique informatique et les méthodes de preuve assistées par ordinateur,
- la modélisation formelle et la vérification.
Partenaires en recherche
Le DER informatique a comme laboratoire de rattachement le Laboratoire Méthodes Formelles (LMF, UMR 9021).
Les normaliens effectuent par ailleurs leur stage dans différents laboratoires répartis sur tout le territoire de la France (Amiens, Bordeaux, Caen, Grenoble, Lille, Lyon, Marseille, Montpellier, Nancy, Paris, Rennes, Strassbourg) et à l'étranger (Communauté européenne, Grande Bretagne, Asie du Sud-Est, Etats-Unis, Canada, Australie, etc.)
Partenaires en formation
Les formations sont diplômées par l'Université Paris-Saclay et co-opérées avec d'autres universités franciliennes :
- ENS PSL : pour le Master Parisien de Recherche en Informatique
- CNAM : le Master de Formation à l'Enseignement Supérieur (préparation à l'agrégation)
- Sorbonne Université : pour le Master de Formation à l'Enseignement Supérieur (préparation à l'agrégation)
- Université Paris-Cité : pour le Master Parisien de Recherche en Informatique et le Master de Formation à l'Enseignement Supérieur (préparation à l'agrégation)
- Université Paris-Saclay : pour la Mention Informatique et le LDD Informatique, Mathématiques