about
maths+cs @ balliol college, oxford. i care about proving things are correct, not just that they work.
i learn by getting things very wrong, understanding why, and iterating. i like speaking to interesting people - reach out if any of this resonates.
outside that: sports, fitness, cooking, reading.
currently
formal verification - learning Lean
computational medicine - researching how AI can create synthetic radiographs
tutoring maths
training for the oxford half marathon - donate!
selected work
2026
project-name
One line on what it is and why it mattered.
2025
project-name
One line on what it is and why it mattered.
experience
2025 – present
role — company
What you did there, in a line.
2024 – 2025
role — company
What you did there, in a line.
extra-curricular
2026 – present
captain: balliol college cricket club
2026 – present
vice-captain: oxford university hockey club 3rd xi
2026 – present
transport secretary: oxford university hockey club
2025 – 26
freshers rep: balliol maths society
2024 – 25
co-chair: school's maths society & tech society