I am Alex, I'm a Heilbronn Research Fellow at KCL.
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 formalization of mathematics currently.
Here is a picture of me.
And below are some things you might actually have come here looking for.
If you want to send me an email, go ahead! Just replace the .github.io part of this web address with @gmail.com.
A User's Guide to the Local Arithmetic of Hyperelliptic Curvesabove.
Square root time Coleman integration on superelliptic curvesabove.
Solving Diophantine equations via the class group, London Learning Lean seminar, January 2023, upcoming
The $S$-unit equation and non-abelian Chabauty in depth 2, Oberseminar Zahlentheorie und Arithmetische Geometrie, Leibniz Universität Hannover, 2022 (slides)
Metaprogramming for Automation of Library Maintenance, EuroProofNet Workshop on the development, maintenance, refactoring and search of large libraries of proofs, CLAS, Tbilisi Georgia, 2022 (slides)
The $S$-unit equation and non-abelian Chabauty in depth 2, Bristol Linfoot seminar, 2021
Explicit computation with Coleman integrals, Journées Arithmétiques XXXI, University of Istanbul, 2019, 2/7/19 (slides)
Explicit computation with Coleman integrals, Boston University - Keio University workshop, 2019, 27/6/19 (slides)
Computing Coleman integrals on superelliptic curves (Lightning Talk), Arithmetic of Low Dimensional Abelian Varieties, ICERM, 2019 (slides)
Zeta functions and $p$-adic integrals; computations and applications, AMS Graduate Student Conference in Algebra/Number Theory, Brown, 2019 (slides)
Rebuilding a topological hierarchy (in the Lean proof assistant), LFTCM 2020 (video)
The Kodaira-Parshin construction, STAGE Fall 2018
Quaternion Algebras, and Descent and Canonical Models BUNTES Fall 2018
The (inescapable) p-adics, a lightning talk at the BU Math retreat (slides)
A Smörgåsbord of Dessins d'Enfants, and Dessins, integer points on elliptic curves and a proof of the ABC conjecture BUNTES Spring 2018
The Tannakian formalism cannot hurt you STAGE Spring 2018
Various in BUNTES 2017 (Abelian varieties: Complex theory, Étale cohomology, the Rosati involution)
Ribet's converse to Herbrand's theorem: Cuspstruction, at STAGE Spring 2017, (notes on my blog: part I, part II)
Serre's Conjecture, at Ulm University Oberseminar (based on part III essay)
Singular Moduli, at Warwick Imperial Autumn Meeting 2014 & Cambridge Part III seminar series (slides)
Riemann Hypotheses, at Warwick Mathematics Society talks (slides)
Geometric approaches to solving Diophantine equations, at Tomorrow's Mathematicians Today 2013, (slides)