Talks

• Symposium on Compositional Structures (SYCO)
  Tallinn University of Technology
  

  Virtual · 2021 · Slides

• Conference on the Mathematical Foundations of Programming Semantics (MFPS)
  University of Salzburg
  

  Virtual · 2021 · Slides

• Programming Principles, Logic, and Verification Seminar
  University College London
  

  London · 2021 · Slides

• Programming Principles, Logic, and Verification Seminar
  University College London
  

  London · 2020 · Slides

• Programming Principles, Logic, and Verification Reading group
  University College London
  

  London · 2020 · Slides

• VeTSS Verified Software Workshop
  Isaac Newton Institute for Mathematical Sciences
  

  Cambridge · 2019 · Slides

• Scottish Programming Languages and Verification Summer School
  University of Strathclyde
  

  Glasgow · 2019 · Slides

• School of Computer Science
  University of Birmingham
  

  Birmingham · 2018 · Slides