Computer Science and System Engineering Laboratory

English Français

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.

Mentions Legales