01 / Oceanography
Upper-ocean stratification
How does the ocean carry the effects of winter mixing into summer? My MSc research uses potential energy anomaly to trace how surface heating and mixing shape the seasonal cycle of stratification.
Research index
02 / Mathematics
Equilateral sets
How many points can all lie at the same distance from one another? In a 56-dimensional space with the ℓ₅ norm, a construction gives 58. The accompanying Lean formalisation checks the result.
Paper ↗ Lean formalisation ↗