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/