Dave is one of the investigators for the APPreSci consortium.
He is Chair of Applied Logic and was appointed Dean of Special Projects in Science & Engineering at the University of Edinburgh in 2014, moving to Head of College of Science & Engineering in August 2017. Prior to this he was Head of School of Informatics at University of Edinburgh.
His computing research is on formal methods for coordination and data 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.
Dave was coordinator of the OpenKnowledge project and was a principal investigator on the Advanced Knowledge Technologies research consortium, which were major EU and UK projects in this area. His work on the SociaM EPSRC Programme (social.org) Smart Societies European IP (smart-society-project.eu) and SocialIST coordinating action (social-ist.eu) 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 and a co-director of the Centre for Medical Informatics at The University of Edinburgh. He is a Fellow of the British Computing Society and chaired the executive of the UK Computing Research Committee (the expert panel of BCS and IET); 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 Complex Systems programme and is a member of the management board for the Scottish Innovation Centre in Data Science.
You can read more about him here.