top of page
Selected seminars and workshops
  • 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

bottom of page