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 - models to develop synthetic radiographs
tutoring maths
training for the oxford half marathon - donate!
selected work
agentic system for a self-updating database of local businesses.
eth-oxford hackathon 2nd place.
120 tmua-style questions in an ai-assisted platform.
built it bc existing prep was poor.
ml for detection of misinformation. no link bc we didn't know how to use git...
teentech winner.
experience
evaluating reasoning models for an ai-native vc.
survival analysis & data pipelines for a paediatric bone study.
youngest recipient of "new investigator award" @ iccbh '26.
classifier predicting student exercise levels, f1 ≈ 0.88.