Hello!


I'm a PhD researcher at the University of Manchester, investigating ways to mathematically prove the safety and reliability of robots. I'm supervised by Marie Farrell, Louise Dennis, and Michael Fisher, working in the Autonomy and Verification Group.

Previously I worked at Tarides in Paris, developing open-source tooling for the OCaml ecosystem.

I enjoy making computer science more accessible, whether by writing articles, making fun interactive projects, or just rambling to passers-by. You can check out my blog here.

Latest Posts


Professional Activities


Teaching Experience


University of Manchester, Graduate Teaching Assistant

  • Automated Reasoning and Verification (2024)
  • Logic and Modelling (2024)
  • Mathematical Techniques for Computer Science (2024)

University of Cambridge, Supervisor (TA equiv.)

  • Hoare Logic and Model Checking [link] (2023, 2022)
  • Logic and Proof [link] (2024, 2023, 2022)
  • Semantics of Programming Languages [link] (2023)
  • Introduction to Graphics [link] (2022)

Presentations


  • Porting OCaml to an ARM microcontroller

    Tarides, Aug 2021 [link]

  • Forward and Deferred Rendering

    Churchill College Computer Science talks, University of Cambridge, Jan 2021 [link]