ENSTA ParisTech U2IS

Unité d'Informatique et d'Ingénierie des Systèmes

English Français


SAR : Systèmes Autonomes et Robotique

Direction : David Filliat
Site web : http://asr.ensta-paristech.fr/

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

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.