
Alex Best
Heilbronn Institute London Fellow
Research interests
- Mathematics
Contact details
Biography
Alex received his PhD from Boston University in 2021 and spent a year and a half at the Vrije Universiteit Amsterdam before moving to King’s in 2023 as a Heilbronn Research Fellow.
Alex has previously worked at TU Kaiserslautern (on the MPIR Library), and studied at the Universities of Cambridge and Warwick.
Research interests
- Number Theory
- Computer proof assistants
- Formalization of mathematics
Further information on Alex can be found here.
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.