Hello!
I'm a PhD researcher at the University of Manchester, investigating ways to mathematically prove the safety and reliability of robots. I'm working under Marie Farrell, Louise Dennis, and Michael Fisher in the Autonomy and Verification Group.
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.
Projects
-
Cavalry
Imperative mini-language in which programs are axiomatically verified by a Hoare logic-based system that proves validity according to a user-provided program specification. (link)
-
Delay-Tolerant Link-State Routing
Undergraduate dissertation project for the University of Cambridge. Implementing and evaluating a modified link-state routing protocol in C for real Unix routers that is tolerant to failures of links and nodes in the network. (link)
-
Spatially-Accelerated Ray-Tracer
UK high school-equivalent final-year project for computer science, implementing a triangle mesh renderer in C++ using a spatial-acceleration data structure to reduce the running time from linear to logarithmic in the number of triangles. (link)
See more projects here!
Presentations
Teaching
University of Manchester
- Semester 1 2024-25 Graduate Teaching Assistant for Logic and Modelling and Mathematical Techniques for Computer Science.
University of Cambridge
- Summer 2023-24 Supervisor for Hoare Logic and Model Checking.
- Spring 2023-24 Supervisor for Logic and Proof.
- Autumn 2023-24 Supervisor for Semantics of Programming Languages.
- Summer 2022–23 Supervisor for Hoare Logic and Model Checking.
- Spring 2022–23 Supervisor for Logic and Proof.
- Autumn 2022–23 Supervisor for Introduction to Graphics.
(At Cambridge, supervisions are intensive small-group sessions of 1–3 students where concepts are explored in depth, and form a significant part of the teaching of a course — cam.ac.uk.)
Colombia
- Jul–Aug 2024 Volunteer English teacher at Connections Instituto de Inglés, Ibagué, Colombia.