Amelia Livingston started a PhD at the London School of Geometry and Number Theory in 2021. Prior to this, she completed an MSci in Mathematics at Imperial College London. 

Research interests

• Formalization in the Lean theorem prover

• Algebraic number theory

• Homological algebra

PhD supervision

 Dr Rachel Newton and Prof Kevin Buzzard