Talks

  • Programming with Cubes
    TRIPLE, TypeSig, University of Edinburgh
    Mar 2026
  • Inceptions
    MSP 101 Seminar, University of Strathclyde
    Mar 2026
  • Semantics of Reversible Concurrency
    SPLS, University of St Andrews
    Feb 2026
  • Semantic analysis of Polarization
    MSP 101 Seminar, University of Strathclyde
    Nov 2025
  • The duality of λ-abstraction
    CHoCoLa Seminar, ENS Lyon
    Jun 2025
  • The duality of λ-abstraction
    Logic, Semantics, and Categories (LSC) Seminar, Aix-Marseille Université
    May 2025
  • The duality of λ-abstraction
    52nd ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2025)
    Jan 2025
  • Towards quantum multiparty session types
    Fifth International Workshop on Programming Languages for Quantum Computing (PLanQC 2025) at POPL 2025
    Jan 2025
  • The duality of λ-abstraction
    OLAS Seminar, Università di Bologna
    Dec 2024
  • Some cool facts about dualities
    SANDWICH Seminar, Computer Laboratory, University of Cambridge
    Sep 2024
  • The duality of abstraction
    PPS Seminar, IRIF, Universitè Paris Cité
    Apr 2024
  • Quantum continuations
    Quantum@BO, Università di Bologna
    Jan 2024
  • The duality of abstraction
    DIAPASoN Seminar, Università di Bologna
    Dec 2023
  • An abstract look at commutativity
    Scottish Programming Languages Seminar
    Nov 2023
  • The duality of abstraction
    Huawei-Edinburgh Coffee House Tech Talk
    Oct 2023
  • Classical Processes in modern dress
    30 Years of Session Types, SPLASH 2023
    Oct 2023
  • Continuations and coexponentials
    Higher-Order Programming with Effects, ICFP 2023
    Sep 2023
  • Continuations and coexponentials
    MSP 101 Seminar, University of Strathclyde; PLUG Seminar, University of Glasgow; LFCS Seminar, University of Edinburgh
    May 2023
  • Symmetries in reversible programming
    Computer Science Theory Seminar, Tallinn University of Technology
    Dec 2022
  • Symmetries in reversible programming
    Programming Languages and Systems Seminar, University of Kent
    Oct 2022
  • Free commutative monoids in homotopy type theory
    38th International Conference on Mathematical Foundations of Programming Semantics (MFPS 2022)
    Jul 2022
  • Weighted sets and modalities
    Meeting on Graded Types, University of Kent
    Jun 2022
  • Symmetries in reversible programming
    Logic and Semantics Seminar, Computer Laboratory, University of Cambridge
    May 2022
  • Symmetries in reversible programming
    49th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2022)
    Jan 2022
  • Symmetries in reversible programming
    PLUG Seminar, School of Computing Science, University of Glasgow
    Dec 2021
  • Weighted sets and modalities
    SYCO 8, Tallinn University of Technology
    Dec 2021
  • Algebraic approaches to computation & programming
    School of Computing Science, University of Glasgow
    Apr 2021
  • Recovering purity with comonads and capabilities
    Department of Computer Science and Engineering, Chalmers and Gothenburg University
    Feb 2021
  • A constructive model of differential linear logic
    Department of Computer Science, University of Oxford
    Dec 2020
  • Algebraic approaches to computation & programming
    Department of Informatics, King's College London
    Nov 2020
  • Free commutative monoids in homotopy type theory
    Logic and Semantics Seminar, Computer Laboratory, University of Cambridge
    Nov 2020
  • Recovering purity with comonads and capabilities
    25th ACM SIGPLAN International Conference on Functional Programming (ICFP 2020)
    Aug 2020
  • Recovering purity with comonads and capabilities
    PL Wonks Seminar, Indiana University Bloomington
    Sep 2019
  • The finite-multiset construction in HoTT
    International Conference on Homotopy Type Theory (HoTT 2019), Carnegie Mellon University
    Aug 2019
  • Retrofitting purity with comonads and capabilities
    Logic and Semantics Seminar, Computer Laboratory, University of Cambridge
    May 2019
  • Homotopy theoretic aspects of reversible computing
    PL Wonks Seminar, Indiana University Bloomington
    Sep 2017
No matching items
Back to top