> Laboratoire images, signaux et systèmes intelligents (Lissi, EA 3956) - Équipe Systèmes complexes et traitement d'informations et de la connaissance - Modélisation et commande des structures poly-articulées - Traitement intelligent de l'information et de la connaissance Partenariats industriels : IBM France, Sagem, Telecom Italia...
> Laboratoire d'algorithmique, complexité et logique (LACL, EA 4213) - Équipe Logique, automates et spécification - Décidabilité, complexité, automates et combinatoire - Types et sûreté - Méthodes formelles de développement de logiciels