Prof Dave Robertson
Professor of Applied Logic / Head of College of Science & Engineering
- College of Science & Engineering
- School of Informatics
Contact details
Address
- Street
-
College of Science & Engineering
Murchison House
The King's Buildings
Max Born Crescent - City
- Edinburgh
- Post code
- EH9 3BF
Background
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.
Responsibilities & affiliations
He is a Fellow of the British Computing Society and chairs the executive of the UK Computing Research Committee (the expert panel of BCS and IET).
He 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.
Project activity
Dave's projects include work on SociaM EPSRC Programme, Smart Societies and SocialIST.
-
Procalcitonin Is Not a Reliable Biomarker of Bacterial Coinfection in People With Coronavirus Disease 2019 Undergoing Microbiological Investigation at the Time of Hospital Admission
In:
Open forum infectious diseases, vol. 9
DOI: https://doi.org/10.1093/ofid/ofac179
Research output: Contribution to Journal › Article (Published) -
Tracking SARS-CoV-2 mutations and variants through the COG-UK-Mutation Explorer
In:
Virus Evolution, vol. 8
DOI: https://doi.org/10.1093/ve/veac023
Research output: Contribution to Journal › Article (Published) -
A prenylated dsRNA sensor protects against severe COVID-19
In:
Science
DOI: https://doi.org/10.1126/science.abj3624
Research output: Contribution to Journal › Article (E-pub ahead of print) -
The origins of SARS-CoV-2: A critical review
In:
Cell, vol. 184, pp. 4848-4856
DOI: https://doi.org/10.1016/j.cell.2021.08.017
Research output: Contribution to Journal › Article (Published) -
Predicting pattern formation in embryonic stem cells using a minimalist, agent-based probabilistic model
In:
Scientific Reports, vol. 10
DOI: https://doi.org/10.1038/s41598-020-73228-4
Research output: Contribution to Journal › Article (Published) -
Cross-Border Medical Research Using Multi-Layered and Distributed Knowledge
(8 pages)
DOI: https://doi.org/10.3233/FAIA200469
Research output: Contribution to Conference › Conference contribution (Published) -
Knowledge Driven Phenotyping
(2 pages)
DOI: https://doi.org/10.3233/SHTI200425
Research output: Contribution to Conference › Conference contribution (Published) -
Investigating motility and pattern formation in pluripotent stem cells through agent-based modeling
(5 pages)
DOI: https://doi.org/10.1109/BIBE.2019.00170
Research output: Contribution to Conference › Conference contribution (Published) -
Agent-based modelling of Pattern Formation in Pluripotent Stem Cells: Initial Experiments and Results
DOI: https://doi.org/10.1109/CISP-BMEI.2018.8633048
Research output: Contribution to Conference › Conference contribution (Published) -
RESPIRE: The National Institute for Health Research's (NIHR) Global Respiratory Health Unit
In:
Journal of Global Health, vol. 8, pp. 020314
DOI: https://doi.org/10.7189/jogh.08.020101
Research output: Contribution to Journal › Editorial (Published)