Institution. University of Cambridge [cam]

Backlinks

Former student of Liam O'Connor at the University of Edinburgh, then a masters student for a time at the University of Cambridge before embarking on a PhD at the University of Edinburgh. Co-founder of TypeSIG.

Rayhana Amjad: 2023–present. Linear infinite time within finite observations. Jointly supervised with Rob van Glabbeek at the University of Edinburgh.
Xin Lu: 2025–present. Incorrectness logic with exploitation strategies. Jointly supervised with Peter Höfner.
Kai Phan: 2026–present. Revocable semantics for run-time monitors. Co-supervised by Rob van Glabbeek at the University of Edinburgh and Dirk Pattinson at the Australian National University.

Ali Nosherwan Hamed: 2026-present. Verification of Concurrent Systems. Primary supervisor is Nisansala Yatapanage at the Australian National University.
Carlo Zancanaro: 2026-present. Gradual Typing with Parametric Polymorphism. Primary supervisor is Fabian Mühlböck at the Australian National University.
Yi Yao: 2025-present. Unifying algebraic models of automata and computation. Primary supervisor is Peter Höfner at the Australian National University.
Tudor Ferariu: 2021–present. Formal verification of smart contracts. Primary supervisor is Philip Wadler at the University of Edinburgh.
Mathieu Fehr: 2022–2026. DSLs for compiler passes. Primary supervisor is Tobias Grosser at the University of Cambridge.

Edwin Park: 2026, Australian National University. A proof-assistant framework for program calculation.
Mio Wu: 2025-2026, Australian National University. Pattern Unification in the Next Generation of the Holbert Proof Assistant
Josh Brown: 2025-2026, Australian National University. String Unification in the Next Generation of the Holbert Proof Assistant
Jack Bashford: 2025, Australian National University Semester Project. A File Format for Holbert Proofs.
Amy Yin: 2023-2024, University of Edinburgh. Concurrent Games in Agda.
Amy Yin: 2023, University of Edinburgh LFCS Internship Project. Branching Bisimulation Games in Agda.
Aria Shrimpton: 2023-2024, University of Edinburgh. Candelabra: Efficient selection of ideal container implementations.
Scott Maxwell: 2023-2024, University of Edinburgh. Metamorphosis: An automatic collection implementation selector.
Ke Shen: 2022-2023, University of Edinburgh. Formal Verification of Partition Refinement Algorithms.
Rayhana Amjad: 2021-2022, University of Edinburgh. Equality and Rewriting in the Holbert Proof Assistant.
Chris Perceval-Maxwell: 2021-2022, University of Edinburgh. Elimination and Induction in the Holbert Proof Assistant.
Yining Liu: 2021-2022, University of Edinburgh. Textbook Features in the Holbert Proof Assistant.