Head of Science and Engineering , University of Edinburgh
David Robertson'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 current work develops these ideas for social computation (where the nodes in the computing network may be humans).
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.
He is currently Head of College of Science & Engineering. Before this he was co-Director for the Centre for Medical Informatics and a member of the Farr Institute for medical data sharing. Prior to that, he was Head of School of Informatics.