Talks

2025

• Symposium on Principles of Programming Languages
  Dafny workshop
  

  Denver · 2025 · Slides

2024

• International Colloquium on Theoretical Aspects of Computing
  Asian Institute of Technology
  

  Virtual · 2024 · Slides

• South of England Regional Programming Languages Seminar
  Jane Street
  

  London · 2024 · Slides

2023

• Theoretical Computer Science Seminar Series
  University of Birmingham
  

  Birmingham · 2023 · Slides

• The Oxford Advanced Seminar on Informatic Structures
  University of Oxford
  

  Oxford · 2023 · Slides

• Programming Languages Discussion Group
  Cornell University
  

  Virtual · 2023 · Slides

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

  Amsterdam · 2023 · Slides

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

  London · 2023 · Slides

• Conference on Algebra and Coalgebra in Computer Science
  Indiana University Bloomington
  

  Virtual · 2023 · Slides

• PhD viva
  University College London
  

  London · 2023 · Slides

2022

• Conference on the Mathematical Foundations of Programming Semantics
  Cornell University
  

  Ithaca · 2022 · Slides

• 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