Welcome

Hi! I am a Maître de conférences (= tenured associate professor) in the Department of Mathematics at Université Paris Cité, working in the automorphic forms group at the Institut de Mathématiques de Jussieu-Paris Rive Gauche. My main research interests are in number theory and arithmetic geometry. I am also member of the ANR project CoLoSS.

Recently, I have developed an interest in formal proofs and proof assistants. I am involved in Lean and its Mathematical Library. I launched a project to prove Fermat’s last theorem for regular primes in Lean. Contact me if you want to join! I also actively contribute to the Liquid Tensor Experiment. If you want to formalize some mathematics, I recommend you try the Natural Number Game. You can also have a look at the Lean community blog. If you are around Paris, check out this working group about formalized mathematics.

I have been a post-doc at the ENS-Lyon under the supervision of Vincent Pilloni and at the Max Planck Institute for Mathematics. I completed my PhD in March 2012 under the supervision of Fabrizio Andreatta at the Università degli Studi di Milano.

Interests
  • Langlands program
  • Eigenvarieties
  • $p$-adic families of automorphic forms
  • Formal proofs
Education

  • PhD in Mathematics, 2012

    Università degli Studi di Milano

  • Master degree in Mathematics, 2008

    Università degli Studi di Milano

  • Bachelor degree in Mathematics, 2006

    Università degli Studi di Milano

Publications and preprints

Click on an item too see more details

Alex J. Best, Christopher Birkbeck, Riccardo Brasca, Eric Rodriguez Boidi, Ruben van De Velde, Andrew Yang. A complete formalization of Fermat's Last Theorem for regular primes in Lean. 2024.
HAL
Dagur Asgeirsson, Riccardo Brasca, Nicholas Kuhn, Filippo Nuccio, Adam Topaz. Categorical foundations of formalized condensed mathematics. To appear in Journal of Symbolic Logic, 2024.
arXiv
Alex J. Best, Christopher Birkbeck, Riccardo Brasca, Eric Rodriguez Boidi. Fermat's Last Theorem for regular primes. 14th International Conference on Interactive Theorem Proving (ITP 2023), 2023.
DOI arXiv
See all publications

Talks

Talks given in reading seminars are not listed

Advanced tactics in formalizing mathematics
September 2024 Beijing International Center for Mathematical Research
Geometry in mathlib
July 2024 Centre de Recerca Matematica, Barcelone
An introduction to the Lean proof assistant for mathematicians
April 2024 National University of Singapore
See all events

Teaching

2024-2025 1st semester

Théorie des nombres I - M2 math
Université Paris Cité Sep 2024 – Oct 2024
See also here
Algèbre I - L3 double licence math-info
Université Paris Cité Sep 2024 – Dec 2024
Algèbre - L2 Math
Université Paris Cité Sep 2024 – Dec 2024

Forthcoming events

See also here

Prospects of formal mathematics
Hausdorff Center for Mathematics May 6, 2024 – Aug 16, 2024
Lean for the Curious Mathematician 2024
Centre international de rencontres mathématiques (CIRM) Mar 25, 2024 – Mar 29, 2024

Experience

 
 
 
 
 
Maître de conférences
Université Paris Cité
Sep 2013 – Present Paris
Affiliated with the Institut de Mathématiques de Jussieu-Paris Rive Gauche
 
 
 
 
 
Post Doc
ENS-Lyon
Oct 2012 – Aug 2013 Lyon
Under the supervision of Vincent Pilloni
 
 
 
 
 
Post Doc
Max Planck Institute for Mathematics
Apr 2012 – Sep 2012 Bonn
 
 
 
 
 
PhD Student
Università degli Studi di Milano
Jan 2009 – Mar 2012 Milan
  • Advisor: Fabrizio Andreatta
  • Thesis: $p$-adic families of modular forms over Shimura curves

Contact

Curriculum vitae

My CV is available in HTML or PDF form. (Last updated: October 2024)