Talks

Here are an (incomplete) list of my talks and their slides:

• Generalised Multiparty Session Types with Crash-Stop Failures
  • Sep 2022 — Stardust Project Meeting — Canterbury, UK (slides)
  • Aug 2022 — INI Concurrency Meeting — Cambridge, UK (slides)
• Monitoring Protocol Conformance with Multiparty Session Types and OpenTelemetry
  • Sep 2021 — Dagstuhl Seminar: Behavioural Types: Bridging Theory and Practice — Virtual (slides)
  • Mar 2021 — Mass Open Cloud Telemetry Working Group — Virtual (slides)
• Statically Verified Refinements for Multiparty Protocols
  • Mar 2021 — PLUG (Programming Language Research in Glasgow) — Virtual
  • Nov 2020 — SPLASH 2020 - OOPSLA — Virtual (slides)