UKRI trustworthy autonomous systems node in resilience
A UKRI project to improve the socio-technical resilience and trustworthiness of autonomous systems.
Funded by: 
The project brings together the disciplines of computer science, engineering, law, mathematics, philosophy and psychology from five UK universities to develop a comprehensive toolbox of principles, methods and systematic approaches for the engineering of resilient autonomous systems.
Featured researcher
Radu Calinescu
Dr Calinescu's interests are in formal methods for adaptive, autonomic, secure and dependable IT systems; automated, model- and metadata-driven software engineering and formal specification, modelling and verification.