Invited talks, seminars, and conference presentations:
- “Machine learning augmented diagnostic testing“
ModAH Conference, Nantes, France
August 2024 > slides - “Egg-Timer – A deep-learning approach to staging“
(Invited talk)
EGGED – Edinburgh Gallus Genomics and Embryonic Development Workshop, Edinburgh
July 2024 > slides - “Machine learning models for diagnostics and risk analysis“
Roslin Institute, Infection and Immunity Interest Group
October 2023 > slides - “Bovine Tuberculosis in Britain – identifying signatures of polarisation and controversy on Twitter”
International Symposium of Veterinary Epidemiology and Economics (ISVEE), Halifax, Canada
August 2022 > slides > video - “Modelling the pandemic in Scotland (achievements and lessons)”
Royal Society, London, UK
June 2022 > slides > video - “Two machine learning projects in the veterinary world…”
BBSRC AI in Bioscience, Online
May 2021 > slides - “Dynamics of disease on social media”
Infectious Disease Dynamics conference, University of Cumbria, UK
September 2019 > slides - “Verification of a lazy cache coherence protocol against a weak memory model”
Formal Methods in Computer-Aided Design, TU Wien, Vienna, Austria
October 2017 > slides - “Compositional verification of a lazy cache coherence protocol with a weak memory model”
PEPA Club seminar, University of Edinburgh
November 2016 > slides - “Verifying cache coherence protocols for weak memory models”
PEPA Club seminar, University of Edinburgh
March 2016 > slides - “Functional transcription factor target discovery via compendia of binding and expression profiles”
Roslin Institute Seminar, University of Edinburgh
October 2015 > slides - “Analysis of a Post-translational Oscillator using Process Algebra and Spatio-temporal Logic”
Computational Methods in Systems Biology (CMSB), Nantes, France
September 2015 > slides - “First steps into the dynamical modelling and gene regulatory network reconstruction of the trypanosome parasite response in mice”
PEPA Club seminar, University of Edinburgh
May 2015 > slides - “Spatio-temporal logic, post-translational oscillators, and gene regulatory networks”
New Skills Seminar, Roslin Institute
September 2014 > slides - “Signal-LBC and posttranslational oscillators”
PEPA Club seminar, University of Edinburgh
November 2013 > slides - “Modelling a posttranslational biochemical oscillator”
PEPA Club seminar, University of Edinburgh
May 2013 > slides - “A logic of behaviour in context”
Workshop on Models and Logics for Quantitative Analysis, University of Edinburgh
September 2012 > slides - “A logic of behaviour in context and the continuous pi-calculus”
(Invited talk)
Contraintes group seminar, INRIA Paris, France
July 2012 > slides - “Towards a logic of biochemical processes”
British Colloquium for Theoretical Computer Science, University of Manchester
April 2012 > slides - “Continuous state-space model checking”
PEPA Club seminar, University of Edinburgh
October 2011 > slides - “Temporal Logic for Systems Biology”
PEPA Club seminar, University of Edinburgh
February 2011 > slides