Group ssh
ssh (Semantics of Hybrid Systems)
U2IS, ENSTA Paris
Themes: foundations of computer science; digital trust
ssh focuses on defining new methods to model, analyze, verify, and synthezise hybrid systems or, more generally, Cyber-Physical Systems. Real-life applications are also considered through an important involvement in the developpement of Robotic plateforms.
Contact person: Alexandre Chapoutot, https://perso.ensta-paris.fr/~chapoutot/
Web site: https://perso.ensta-paris.fr/~chapoutot/ssh-website/