Dave Robertson

Dave Robertson is currently the emeritus Chair of Applied Logic at the University of Edinburgh and serves as the Chief Scientific Advisor UK for Huawei. Previously, they were Vice Principal and Head of the College of Science & Engineering at Edinburgh, and Head of the School of Informatics, the largest computing science department in the UK by research power. Their research focuses on Artificial Intelligence, specifically on formal methods for coordination and knowledge sharing among agents in distributed systems. They have contributed to various fields, including astronomy and healthcare, and hold leadership roles in significant UK research initiatives. Dave obtained a BSc in Ecological Science from the University of Edinburgh and a PhD in Artificial Intelligence from the Universitat Autònoma de Barcelona.