Dave Robertson is Chair of Applied Logic, Vice Principal and Head of the College of Science & Engineering at the University of Edinburgh. Prior to this he was Head of School of Informatics. His computing research is on formal methods for large scale artificial intelligence. Methods from his group have been applied to areas such as astronomy, simulation of consumer behaviour and emergency response but his main application focus is on medicine and healthcare. His role in Evidence Base as PI will be to facilitate the institution-level access to embedding interventions that come out of our research.