Person. Tobias Grosser [tgrosser]

Associate Professor
University of Cambridge
0000-0003-3874-6003
https://grosser.science/

Backlinks

Person. Mathieu Fehr [mathieu]

PhD Student
University of Edinburgh
https://github.com/math-fehr

Student of Tobias Grosser and Liam O'Connor at the University of Edinburgh, developing DSLs for compiler passes.

Liam O'Connor › Students [loc-0002]

Doctoral students

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.

Secondary supervisions

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.

Masters students

Shaonan Li: 2022, University of Edinburgh. Exploring the 8-bit demoscene.

Bachelors students

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.

Related

Institution. University of Cambridge [cam]

Cambridge, United Kingdom
https://www.cam.ac.uk/