# 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 developed an interes in formal proofs and proof assistants, especially Lean and its Mathematical Library. I actively contribute to the Liquid Tensor Experiment. If you want to formalize some mathematics, I recommend you 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

# Publications and preprints

Click on an item too see more details

# 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
• Thesis: $p$-adic families of modular forms over Shimura curves