Skip to content

David Robertson

Professor David Robertson

Professor David Robertson


Dave Robertson is Chair of Applied Logic at the University of Edinburgh, working on formal methods for coordination and knowledge sharing in distributed, open systems using ubiquitous internet and mobile infrastructures.  His recent work 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 works with members of the Farr Institute to develop more effective methods of medical data sharing and healthcare data analytics.


Commonwealth Science Conference Grants CommitteeJuly 2016 - June 2017Member
International Exchanges CommitteeJuly 2011 - December 2016Member
Was this page useful?
Thank you for your feedback
Thank you for your feedback. Please help us improve this page by taking our short survey.