SAR : Systèmes Autonomes et Robotique
Direction : Bruno Monsuez
L'équipe "Systèmes Autonomes et Robotique" travaille sur la navigation des robots mobiles, la perception, la vision embarquée, l'apprentissage moteur et l'interaction homme-robot. Nous mettons l'accent sur l'utilisation de l'apprentissage automatique pour des applications réelles, comme la robotique d'assistance et de service, la robotique humanoïde, les véhicules intelligents et la sécurité.
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.