Publications
- Encoding Dependently-Typed Constructions into Simple Type Theory with Anthony Bordg (2023)
Preprints
- Pushforward monads
- Magnitude homology equivalence of Euclidean sets with Tom Leinster
Talks
| 27 June 2024 | Pushforward monads | CT2024 |
| 15 Apr 2024 | Pushing monads forward | SYCO 12 |
| 28 Feb 2024 | Magnitude homology in Euclidean space | Structure and Symmetry Day |
| 7 Feb 2024 | Codensity and pushforward monads | Edinburgh CT seminar |
| 1 Nov 2023 | Filtered colimits, algebraic theories and finitary monads | Edinburgh CT seminar |
| 29 Sep 2023 | Magnitude homology and straight metric spaces | Hodge club seminar |
| 27 Jan 2023 | The magnitude of a graph | GlaMS Examples Showcase |
Notes
- Persistent homology - GlaMS group project with Malthe Sporring and Yan Yau Cheng
- Soergel bimodules and HOMFLY-PT homology - Part III essay
- Exploring the capabilities of the Lean interactive theorem prover - Honours project for BSc Computer Science and Mathematics