Dr Chris Banks
Core Scientist (Research Fellow)
Contact details
Address
- Street
-
The Roslin Institute
Easter Bush Campus
Midlothian - City
- Post code
- EH25 9RG
Background
I am a computer scientist and computational/mathematical modeller and currently a Research Fellow (Core Scientist) at The Roslin Institute (University of Edinburgh). Over my career, my research has focussed on the computational modelling of systems to help improve the understanding of the natural and synthetic world.
My current research focuses on developing veterinary epidemiological models for UK agricultural disease. This includes computational modelling of disease transmission based on real-world scenarios, as well the analysis for understanding the associated risk factors and the mitigation of disease spread. More recently, my research has contributed to the response to the coronavirus pandemic and advising Public Health Scotland. I also assist with the management of our group, its data, models, and outputs.
Current specific topics of interest include: detailed individual-based models using distributed / cloud computation; Inference of model parameters with Bayesian techniques (e.g. ABC); Machine learning models for exploring large parameter spaces with environmental, phylogenetic, and risk factor features; frameworks, languages, and tools for building epidemic models.
My background (PhD) is in formal languages and logics for expressing and querying models and have a longer-term vision to develop these techniques for epidemic models.
-
SCoVMod - a spatially explicit mobility and deprivation adjusted model of first wave COVID-19 transmission dynamics
In:
Wellcome Open Research , vol. 7, pp. 1-20
DOI: https://doi.org/10.12688/wellcomeopenres.17716.1
Research output: Contribution to Journal › Article (Published) -
Multi-species temporal network of livestock movements for disease spread
In:
Applied Network Science, vol. 6
DOI: https://doi.org/10.1007/s41109-021-00354-x
Research output: Contribution to Journal › Article (Published) -
VerC3: A Library for Explicit State Synthesis of Concurrent Systems
(6 pages)
DOI: https://doi.org/10.23919/DATE.2018.8342228
Research output: Contribution to Conference › Conference contribution (Published) -
Verification of a lazy cache coherence protocol against a weak memory model
(8 pages)
DOI: https://doi.org/10.23919/FMCAD.2017.8102242
Research output: Contribution to Conference › Conference contribution (Published) -
Functional transcription factor target discovery via compendia of binding and expression profiles
(10 pages)
In:
Scientific Reports, vol. 6
DOI: https://doi.org/10.1038/srep20649
Research output: Contribution to Journal › Article (Published) -
Analysis of a Post-translational Oscillator Using Process Algebra and Spatio-temporal Logic
(17 pages)
DOI: https://doi.org/10.1007/978-3-319-23401-4_19
Research output: › Conference contribution (Published) -
A logic of behaviour in context
(16 pages)
In:
Information and Computation, vol. 236, pp. 3-18
DOI: https://doi.org/10.1016/j.ic.2014.01.009
Research output: Contribution to Journal › Article (Published) -
Stochastic Modelling of the Kai-based Circadian Clock
(18 pages)
DOI: https://doi.org/10.1016/j.entcs.2013.07.004
Research output: Contribution to Conference › Conference contribution (Published)