01
Research area
Safety and security of autonomous systems
Develop theories, algorithms, and tools to detect, verify, and enhance the safety and security properties of ACPS.
Research
Assurance for systems that learn, decide and act.
Our work develops theoretical and practical methods to understand, verify and improve autonomous cyber-physical systems.
02
Research area
Understanding complex systems
Develop methods and tools for theoretical and practical understanding of complex systems, for example the interpretability of deep learning.
03
Research area
Application areas
Our work is applied across robotics, the Internet of Things, and healthcare.
- Robotics, for example, self-driving cars and underwater vehicles.
- Internet of Things, for example, wireless sensor networks.
- Healthcare, for example, diagnosis through brain imaging and human activity recognition.
Application domains
Grounded in consequential settings.
Robotics and autonomous vehiclesInternet of Things and wireless networksHealthcare and medical AILearning-enabled critical systems