Unités

Modélisation structures et matériaux

Responsable d'Unité : Oui

Méthodes formelles et vérification

Responsable d'Unité : Oui

Le service méthodes formelles et vérification consacre ses efforts de recherche et d'enseignement aux méthodes rigoureuses et automatiques qui permettent de concevoir des systèmes informatiques fiables. Ces méthodes trouvent des applications naturelles dans la conception de systèmes informatiques critiques, comme les systèmes de contrôle embarqués dans les moyens de transport (métros, avions, voiture), les systèmes de contrôle de production (dans un cadre industriel), etc.

CMMI

Responsable d'Unité : Oui

Projets

Cette personne ne fait actuellement pas partie d'un projet.