LES LABORATOIRES ASSOCIÉS

Les enseignants chercheurs de l’école effectuent leur recherche au sein de laboratoires d’établissements partenaires.

LaMME
Laboratoire de Mathématiques et Modélisation d’Evry, UMR CNRS 8071, ENSIIE et UEVE.

SAMOVAR
Services réparties, Architectures, Modélisation, Validation, Administration des Réseaux, UMR 5157, TSP.

IBISC
Informatique Biologie Intégrative et Systèmes Complexes, UEVE.

ICUBE
Laboratoire des sciences de l’Ingénieur, de l’Informatique et de l’Imagerie, UMR CNRS 7357, Université de Strasbourg.

LIMSI,
UPR CNRS 3251, Université de Paris Sud

DES THÉMATIQUES DE RECHERCHE

Les équipes de recherche associées à l'école travaillent sur les thématiques principales suivantes :

Parallélisme, grille de calcul, cloud computing

Optimisation combinatoire

Spécification et vérification de programmes

Réalité virtuelle et augmentée

Traitement automatique du langage

Modélisation stochastique, optimisation et mathématiques financières

Modélisation statistique

Journées LTP et MTV2 à l'ENSIIE les 6 et 7 déc

Le GDR (Groupement de Recherche) GPL (Génie de la Programmation et du Logiciel) du CNRS regroupe la communauté scientifique française intéressée par le Génie Logiciel et la Programmation. Il comprend différents groupes de travail qui s'intéressent à des domaines particuliers.

Le 6 décembre à l'ENSIIE :

Le groupe de travail LTP (Langages, Types et Preuves) tiendra sa réunion annuelle. Il s'intéresse à la conception de langages plus sûrs et plus expressions, au développement d'outils de vérification (preuve, analyse statique), à la vérification de programmes, d'algorithmes et d'outils. La journée comprend des exposés de recherche et deux présentations données par des chercheurs invités: - Benoît Valiron (LRI/Modhel) Calcul et langages de programmation quantique - Sylvain Boulmé (Laboratoire Verimag, Grenoble-INP). Embedding Impure ML Oracles into Coq Verified Code, Illustrated on SatAns-Cert, a Coq-Verified (Boolean) SAT-Solver.

Programme

Le 7 décembre à l'ENSIIE :

Le groupe de travail MTV2 (Méthodes de Test pour la Vérification et la Validation) se réunira à l'ENSIIE. La journée comprend des exposés de recherche et deux présentations données par des chercheurs invités : - Mike Papadakis (Univ. Luxembourg) Mutation Testing Advances - Bernhard Aichernig (IST, TU Graz, Autriche) Smart Black-box Testing – Combining Model Learning and Model-based Testing