Welcome

Hi! I am a Maître de conférences (= tenured associate professor) at the Université de Paris in the Departement of Mathematics, 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 become interested in formal proofs and proof assistants, especially Lean and its Mathematical Library. I actively participate to the Liquid Tensor Experiment. If you want to try to formalize some mathematics, I strongly suggest to try the Natural Number Game.

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

Talks

Talks given in reading seminars are not listed

$p$-adic families of modular forms over Shimura varieties of Hodge type
$p$-adic families of modular forms over Shimura varieties of Hodge type
Hida theory for some Shimura varieties without ordinary locus

Teaching

2021 2nd semester

MMAL2 - L1 Mathématiques

Forthcoming events

Lean Together 2021
A meeting for Lean users and other formalizers

Experience

 
 
 
 
 
Maître de conférences
Sep 2013 – Present Paris
 
 
 
 
 
Post Doc
Oct 2012 – Aug 2013 Lyon
Under the supervision of Vincent Pilloni
 
 
 
 
 
Post Doc
Apr 2012 – Sep 2012 Bonn
 
 
 
 
 
PhD Student
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: February 2020)