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.
I have an academic interest in mathematical logic, type theory, and software verification. I'm currently learning the Coq proof assistant.
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 in the number of triangles to logarithmic. (link)
(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 — link.)
- I take photos for fun, and have them on Flickr.
- I run for my mental and physical health, having done the Cambridge Half Marathon in 2021 and 2022 raising £660 for Mind, a mental health charity. I am currently training for the 2023 Paris Marathon.