ASR : Autonomous Systems and Robotics
Head : Bruno Monsuez
Web site : http://asr.ensta-paristech.fr/
SSH : Hybrid Systems Semantics
Head : Alexandre Chapoutot
Web site : SSH
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.