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. |