Compatibilité
Sauvegarder(0)
Étienne André est professeur à l’Université Sorbonne Paris Nord et membre du Laboratoire d’Informatique de Paris-Nord (LIPN – CNRS/Université Sorbonne Paris Nord).
Il travaille sur la vérification formelle de systèmes cyber-physiques complexes.
Nommé pour la première fois membre junior de l’Institut universitaire de France, il va mener un projet centré sur le développement de nouvelles méthodes automatiques pour vérifier le bon fonctionnement de ces systèmes soumis notamment à des contraintes énergétiques.
Elsa Wiotte
