## Publications

*Encoding Dependently-Typed Constructions into Simple Type Theory*with Anthony Bordg (2023)

### In preparation

*Magnitude homology of Euclidean sets*with Tom Leinster

## Talks

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