Biography
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
Research
Number Theory
King's College London has a strong tradition of research in number theory, and this continues today with a particular emphasis on algebraic and representation-theoretic aspects of the subject.
Research
Number Theory
King's College London has a strong tradition of research in number theory, and this continues today with a particular emphasis on algebraic and representation-theoretic aspects of the subject.