Selected seminars and workshops
-
Mathematics: AI, Data Sets and Proof Assistants in Bonn, 06/2026
-
A Mathematical Sciences Curriculum in the Age of AI at UCL, 05/206
-
Great Western Number Theory seminar in Oxford, 04/2026.
-
Lean Together 01/2026.
-
British Mathematical Colloquium \& British Applied Mathematical Colloquium, Exeter, 06/25.
-
Number Theory seminar, ETH Zurich, 10/24.
-
Lean for the Curious Mathematician, conference, CIRM-Luminy, 03/24
-
Sheffield Number Theory Seminar, 04/2019 & 12/2023.
-
Formalisation of mathematics with interactive theorem provers, Cambridge, 04/2023
-
Non-archimedean geometry and Eigenvarieties, spring school, Heidelberg, 03/2023
-
Greek Algebra and Number Theory Seminar (GANT), 02/2023
-
Cambridge Number Theory seminar, 11/2022
-
Seminario Latinoamericano de Teoría de Números, 09/2020 & 04/2022
-
Warwick Number Theory Seminar, 02/2022
-
London Learning Lean seminar, 01/2022
-
London Number Theory seminar, Jun 2018
-
Bristol Linfoot seminar, Oct 2017
-
UCONN Algebra seminar, Sep 2017
-
AMS sectional meeting, Buffalo, Sep 2017
-
Summer school on modular forms, Padova, Sep 2017
-
Warwick Number Theory seminar, Jan 2017
-
Seminaire d'arithmetique, ENS de Lyon, May 2016