Dr Francesco Russo!

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!

Comments are closed.