researchseminars.org - Browse talks
I am Alex, I'm a Heilbronn Research Fellow at King's College London . Previously I worked at VU Amsterdam , in the group of Sander Dahmen . I got my PhD from Boston University (working with Jennifer Balakrishnan ), and before that I worked at TU Kaiserslautern (on the MPIR Library ), and studied at the Universities of Cambridge and Warwick . I am interested in many things, but mostly number theory and the computer proof assistants / formalization of mathematics currently. Here is a picture of me. And below
Lean for the curious arithmetic geometer , Rational Points 2023, Scheny , July 28th 2023 (slides)
Formalizing algebraic number theory, recent progress and future challenges , Formalisation of mathematics with interactive theorem provers, Cambridge , June 8th 2023 (slides)
researchseminars.org - Browse talks