ENSTA ParisTech U2IS

Computer Science and System Engineering Department

English Français

Hybrid Systems Semantics (SSH)


Address:ENSTA ParisTech - U2IS
Groupe Semantique des Systemes Hybrides
828, Boulevard des Maréchaux
F-91762 Palaiseau Cedex
Hybrid Systems Semantics (SSH)
Tel.:+33 (0)1 8187 2071

The research group "Hybrid Systems Semantics" 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.