Some videos of talks I have given about my work in various different venues.

What could the next 30 years of software verification in climate science look like?. Workshop on Correctness and Reproducibility for Climate and Weather Software, NCAR, Colorado, November 2023

Programming for the Planet, Topos Institute Colloqium, October 2023

Lightweight code verification for science, ICCS-VESRI Journal Club (June, 2023)

Introduction to the Institute of Computing for Climate Science at the Cambridge Centre for Data-Drive Discovery collaborations day (Jan, 2023)

Huawei Programming Language Technology Salon | Issue 14: Graded (Modal) Types for Fine-grained Program Reasoning (May 2022)

Interview for the 47 Degrees “Immutable Conversations” podcast (June 2021)

ESOP 2021 - Graded Modal Dependent Type Theory

End of the 2020 review for the Granule project

MSFP 2020 - Unifying graded and parameterised monads

[podcast] The Typechecker Ep. 2: Granule

CodeMesh London 2019

POPL 2019 - Effects as sessions, sessions as effects

ICFP 2016 - Combining effects and coeffects via grading

Haskell 2014 - Embedding effect systems in Haskell