VAS – Verification of Autonomous Systems

VAS-group member Francesco Russo is awarded a PhD defending his thesis “Abstraction in model checking multi-agent systems”.

Dr Russo joins Autonomy in Cambridge. Good luck Francesco!