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.