Heilbronn Institute London Fellow
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.
- Number Theory
- Computer proof assistants
- Formalization of mathematics
Further information on Alex can be found here.