SAR : Systèmes Autonomes et Robotique
Direction : Bruno Monsuez
Site web : http://asr.ensta-paristech.fr/
SSH : Sémantique des Systèmes Hybrides
Direction : Alexandre Chapoutot
Site web : SSH
Le groupe de recherche «Semantique des Systemes Hybrides» (SSH) vise à contribuer à l'amélioration des techniques de développement, d'analyse et de vérification des logiciels. Les membres de l'équipe s'intéressent aux analyses statiques, aux spécifications et à la preuve de programmes, ainsi qu'au développement d'outils concrétisant les résultats de leurs recherches.