In Proceedings of
Workshop on Algebra, Coalgebra and Topology. Electron. Notes Theor. Comput. Sci. 303:197-206.
2013.
doi:10.1016/j.entcs.2014.02.010. [preprint:
pdf| note:
txt]
Research Associates and Students
- Some postdocs:
- I'm currently supervising DPhil/PhD students:
- Some people I have supervised and worked with: Pedro Amorim was a postdoc on my ERC Blast project, now lecturer at the University of Bath; Nick Hu was a DPhil student cosupervised with Jamie Vicary, currently a postdoc in Birmingham; Max Dore was a DPhil student cosupervised with Samson Abramsky, currently a Departmental Lecturer in Oxford; Lukas Heidemann was a DPhil student cosupervised with Jamie Vicary, currently a researcher at Quantinuum; Swaraj Dash was a DPhil student (2017-2024), now Assistant Professor at Heriot Watt
;
Philip Savillewas a postdoc on my grant "Quantum programming via algebraic effects" (2021-2024), now a Lecturer at University of Sussex;
Satoshi Kurawas a JSPS overseas research fellow (2022-2024), now an Assistant Professor at Waseda University;
Mathieu Huotwas a DPhil student, now a postdoc at MIT;
Sean Mosswas an RA on my ERC grant, now an Assistant Professor in Birmingham;
Cristina Matachewas a DPhil student, now a postdoc in Edinburgh;
Hugo Paquetwas a postdoc on my Royal Society grant until Jan 2023, now holding a Marie Skłodowska-Curie Award in Paris;
Ohad Kammarwas an RA on my EPSRC grant
EP/N007387/1and earlier on a grant from the Isaac Newton Trust; now a Lecturer in Edinburgh;
Marcin Szymczakwas an RA on seed funding from the Alan Turing Institute, on a project with Scott Hale, Ohad Kammar, Helen Margetts, and Tom Melham;
Dario Stein(DPhil on probabilistic programming, 2017-2021);
Sam Speightwas a DPhil student primarily supervised by Samson Abramsky,
Junghun Yoowas a DPhil student primarily supervised by Hongseok Yang, now a lecturer at Sheffield Hallam;
Antonin Delpeuch(DPhil on string diagrams, cosupervised with Jamie Vicary, 2021-2022);
Yuan Zhou(DPhil on probabilistic programming cosupervised with Hongseok Yang, Tom Rainforth, Yee Whye Teh, and Frank Wood, 2016-2021);
Mathys Rennela(PhD on quantum programming languages, 2013-2019);
Sander Uijlen(PhD on quantum logic, 2013-2019, cosupervised with Aleks Kissinger and Bart Jacobs);
Ben Roberts(PhD on information flow security for distributed programming languages, 2013);
Jad Ghalayini(MSc project on dependent types);
Danel Ahman(MPhil project on normalization by evaluation);
Ramana Kumar(MPhil essay on formalizing set theory);
Kwok Cheung(MPhil essay on algebraic effects and partiality);
Sohum Banerjea(MPhil essay on inference programming languages).
Courses taught: Principles of Programming Languagesin Oxford.
Statistical Probabilistic Programmingat Oxford, jointly with Luke Ong, Hugo Paquet and Paolo Perrone.
Probabilistic Programmingat Oregon PL Summer School 2019. A
course on coalgebrajointly with
Alexandra Silvain Nijmegen. Courses on
Discrete mathematics I,
Semantics of programming languages, and
Category theory and logicin Cambridge.
Responsibilities and events
Steering committees: IEEE Symposium on Logic in Computer Science
(LICS, 2015-); Formal Structures in Computation and Deduction
(FSCD, 2017-2020). Organizing committee of Mathematical Foundations of Programming Semantics (MFPS, 2022-).
Editorial board member: ACM Transactions on Quantum Computing.
Programme committee member: 53rd ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2026, Associate Chair); 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2025); 41st Conference on Mathematical Foundations of Programming Semantics (MFPS 2025); 34th European Symposium on Programming (ESOP 2025), 32nd EACSL Annual Conference on Computer Science Logic 2024 (CSL 2024); 50th EATCS International Colloquium on Automata, Languages and Programming (ICALP 2023); PC co-chair: 6th Annual Conference on Applied Category Theory (ACT 2023); 26th International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2023); 7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022); 49th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2022); 30th European Symposium on Programming (ESOP 2021); 25th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020); 24th ACM SIGPLAN International Conference on Functional Programming (ICFP 2019); 4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019); PC chair: 34th Conference on Mathematical Foundations of Programming Semantics (MFPS XXXIV); 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017); 44th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2017); 26th European Symposium on Programming (ESOP 2017); Workshop on Syntax and Semantics of Low-level Languages (LOLA 2016); 10th International Workshop on Fixed Points in Computer Science (FICS 2015); 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015); PC co-chair: 30th Conference on Mathematical Foundations of Programming Semantics (MFPS XXX); 3rd ACM-SIGPLAN Workshop on Higher-Order Programming with Effects (HOPE 2014); Combined 21st International Workshop on Expressiveness in Concurrency and 11th Workshop on Structured Operational Semantics (EXPRESS/SOS 2014); 11th International Workshop on Domain Theory and Applications (Domains XI); 18th ACM SIGPLAN International Conference on Functional Programming (ICFP 2013); Workshop on Syntax and Semantics of Low-Level Languages (LOLA 2013); 5th Conference on Algebra and Coalgebra in Computer Science (CALCO 2013); 21st Conference on Computer Science Logic (CSL 2012), 4th Workshop on Mathematically Structured Functional Programming (MSFP 2012); 11th International Workshop on Coalgebraic Methods in Computer Science (CMCS 2012); 9th Asian Symposium on Programming Languages and Systems (APLAS 2011); 4th Conference on Algebra and Coalgebra (CALCO 2011); 8th International Workshop on Structural Operational Semantics (SOS 2011); 7th International Workshop on Structural Operational Semantics (SOS 2010). External review committee of 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2012).
Organizing committees: Scientific committee: Logic of Probabilistic Programming at CIRM (Jan 2022). Local organizer: ACT and MFPS 2024; LICS 2018; FSCD 2017; CALCO 2015 and MFPS XXXI; International Conference on Category Theory (CT 2014); Informal Workshop on Programming with Handlers (Cambridge June 2013).
Some recent/upcoming invited or keynote talks: TLLA 2025; NWPT 2024; PROBPROG Sep 2023; VERIPROP 2023; BCS-FACS 2022 Seminar; LAFI 2022; CMCS 2022; FSCD 2021; MFPS 2021; OWLS Jan 2021; CPS 2020; OPLSS 2019; CIE 2019; PIHOC 2019; ICALP 2018; STOC 2018; Logic and learning 2018; British Logic Colloquium 2017; Uncertainty in Computation, 2016; QSLC 2016; WIP 2016; MFPS 2016; CHOCOLA, Jan 2016; S-REPLS2, Nov 2015; MFPS 2015.