Talks

2022

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

  London· 2022 · Slides

• Lectures on Logic and its Mathematical Aspects Seminar
  University of Amsterdam
  

  Virtual · 2022 · Slides

2021

• Symposium on Compositional Structures
  Tallinn University of Technology
  

  Virtual · 2021 · Slides

• Conference on the Mathematical Foundations of Programming Semantics
  University of Salzburg
  

  Virtual · 2021 · Slides

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

  London · 2021 · Slides

2020

• 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

2019

• 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

2018

• School of Computer Science
  University of Birmingham
  

  Birmingham · 2018 · Slides