Talks

Writing Computational Models that are FAIR and VRAI. Centre for Atmospheric Science, Yusuf Hamied Department of Chemistry, University of Cambridge. 19 November 2024.

Computing for Climate Science and Programming for the Planet. Wednesday Seminar, Department of Computer Science, University of Cambridge. 13 November 2024. [Slides PDF]

Computing for Climate Science and Programming for the Planet. Queens' College SCR talks.. 11 November 2024.

From C to Comonads to Climate - A Functional Programmer's Journey in Array Programming. 1st ACM SIGPLAN Workshop on Functional Programming for Productivity and Performance (FProPer’24), co-located with ICFP 2024. 06 September 2024. [Slides PDF]

A Variant on Intersection Types for Descriptive Scientific Code. Programming Language and Systems seminar, University of Kent. 01 July 2024.

Programming Language Concepts for (Climate) Science. Joint seminar of PLUG (Programming Languages at University of Glasgow) and LOCOS (Low Carbon and Sustainable Computing), University of Glasgow. 15 May 2024. [Slides PDF]

Panel - Perspectives on Practical Reproducibility in Climate Science. Climate Informatics 2024. 23 April 2024.

Using types to rule out bugs- Python perspective. Intermediate Research Software Development Skills In Python for Earth Sciences. 19 March 2024. [Slides PDF]

Introduction to ICCS and Focus on Reproducibility and Reusability. Spring Symposium for the Cambridge Centre for Climate Science, Cambridge, UK. 18 March 2024.

Graded types and Algebraic Effects (keynote). Fourteenth South of England Regional Programming Languages Seminar, Jane Street, London. 09 March 2024. [Slides PDF]

Welcome and introduction to MycroftFest - Celebrating the career of Professor Alan Mycroft. MycroftFest Symposium, University of Cambridge. 01 December 2023. [Slides PDF]

A Tale of Two Graded Calculi- The Marriage of Coeffects and Graded Comonads. MycroftFest Symposium, University of Cambridge. 01 December 2023. [Slides PDF]

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. 10 November 2023. [Slides PDF] [Video]

Why is research software important? Call to a Research Software Engineering "Community of Practice" at the University of Kent. University of Kent. 08 November 2023.

Lambda the Ultimate.... Guest lecture for COMP6630: Programing Language Design and Applications, University of Kent. 02 November 2023. [Slides PDF] [Code example]

Research Software Engineering for the New Generation of Climate Models. World Climate Research Programme - Open Science Conference, Kigali, Rwanda. 24 October 2023. [Slides PDF]

Using types to rule out bugs - Python vs Fortran perspective. African Institute of Mathematical Sciences, Training day for the World Climate Research Programme, Open Science Conference, Kigali, Rwanda. 21 October 2023. [Slides PDF]

Automated and Semi-Automated bug finding for Fortran. European Centre for Medium-Range Weather Forecasts (ECMWF). 16 October 2023. [Slides PDF]

Programming for the Planet. Topos Institute Colloqium. 12 October 2023. [Slides] [Video]

Granule - A general purpose-language for fine-grained reasoning (past, present, and a possible future). Shonan meeting 203: Effect Handlers and General-Purpose Languages. 26 September 2023. [Slides PDF]

Graded Types - Theory and Practice (four sessions). Scottish Programming Languages and Verification Summer School. 24 July 2023. [Slides]

Lightweight code verification for science. ICCS-VESRI Journal Club. 13 June 2023. [Slides PDF]

Automated and Semi-Automated bug finding for Fortran. RSE Seminar - University of Cambridge. 25 May 2023. [Slides PDF]

Analysis and lightweight verification of Fortran code. European Geosciences Union EGU 2023 - DataWave side event. 24 April 2023. [Slides PDF]

Programming for our Future- Introduction to the Institute of Computing and Climate Science. Programming Languages and Systems group, University of Kent. 21 March 2023.

A future perspective on computing for climate science and opportunities for collaboration (with Emily Shuckburgh, Colm-cille Caulfield, Dominic Orchard). UK Met Office Data Science Community of Practice. 03 March 2023.

Introduction to the Institute of Computing and Climate Science. Collaboration Day for Interdisciplinary Data Science and AI Research, Department of Applied Mathematics and Theoretical Physics, University of Cambridge. 09 January 2023. [Slides PDF]