ASR : Autonomous Systems and Robotics
Head : Bruno Monsuez
Research in the "Autonomous Systems and Robotics" team focuses on mobile robot navigation, perception, embedded vision, motor learning and human-robot interaction. Our emphasis is on applying machine learning to real-world applications, such as assistive and service robotics, humanoid robotics, intelligent vehicles, and security.
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.