News

Nov 27, 2024 Member of the program committee for ACT 2025.
Nov 14, 2024 Member of the program committee for QPL 2025.
Nov 12, 2024 I am organising (and co-chairing the program committee for) RC 2025 in Odense, Denmark on July 3-4, 2025.
Sep 16, 2024 Member of the program committee for POPL 2025 Student Research Competition.
Aug 01, 2024 Our paper “How to Bake a Quantum Π” with Jacques Carette, Chris Heunen, and Amr Sabry was accepted for ICFP 2024!
Apr 01, 2024 Member of the programme committee for MSFP 2024.
Jan 05, 2024 Member of the programme committee for QUASAR ‘24, co-located with HDPC 2024.
Jan 04, 2024 Travelling to London for POPL 2024, January 16-20. Come say hi!
Nov 30, 2023 Member of the programme committee for RC 2024.