Some videos of talks I have given about my work in various different venues.
From C to Comonads to Climate: A Functional Programmer’s Journey in Array Programming, Keynote at FProPer 2024 (ACM SIGPLAN Workshop on Functional Programming for Productivity and Performance), September 2024
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