ENSTA ParisTech U2IS

Computer Science and System Engineering Department

English Français

Hybrid Systems Semantics (SSH)


Contact

Address:ENSTA ParisTech - U2IS
Groupe Sûreté et Fiabilité des Logiciels
828, Boulevard des Maréchaux
F-91762 Palaiseau Cedex
France
Hybrid Systems Semantics (SSH)
Email:
Tel.:+33 (0)1 8187 2032

The research group "Safety and Reliability of Software" aims at improving techniques of development, analysis and verification of software. The group members are interested in static analyses, specification, and correctness proofs of programs, as well as in the development of tools embodying their scientific results.



Researchers

Administrative staff

Postdocs



Publications (browse in a new window)