Invited talks, seminars, and conference presentations:

  • “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”
    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