College of Science & Engineering

Professor Dave Robertson

Currently Vice-Principal and Head of the College of Science and Engineering at the University of Edinburgh.


Dave's computing research is on formal methods for coordination and knowledge sharing in distributed, open systems using ubiquitous internet and mobile infrastructures - the goal being to develop theories, languages and tools that out-perform conventional software engineering approaches in these arenas.

His work on the SociaM EPSRC Programme (, Smart Societies European IP ( and SocialIST coordinating action ( develops these ideas for social computation.

Methods from his group have also been applied to other areas such as astronomy, simulation of consumer behaviour and emergency response but his main application focus is on medicine and healthcare.

To this end, he is a member of the Farr Institute for medical data sharing.

Before he joined the Centre for Medical Informatics, he was Head of School of Informatics. During his five year tenure, working with Dr Liz Elliot, the School doubled its research portfolio and rose from 30 to 12 in the world QS rankings for computing science departments.

Previously, he was coordinator of the OpenKnowledge project and was a principal investigator on the Advanced Knowledge Technologies research consortium, which were major EU and UKprojects. 

Responsibilities & affiliations

He is a Fellow of the British Computing Society and chairs the executive of the UK Computing Research Committee (the expert panel of BCS and IET).

He is a member of the EPSRC Strategic Advisory Team for ICT and of the MRC Population Health Sciences advisory group; is on the Industry Advisory Board for Innovate UK’s ICT programme and is a member of the management boards for the Scottish Innovation Centres in Digital Healthcare and Data Science.

Prof Dave Robertson

Professor of Applied Logic / Head of College of Science & Engineering

  • College of Science & Engineering
  • School of Informatics

Contact details



College of Science & Engineering
Murchison House
King's Buildings
10 Max Born Crescent

Post Code