Mathematician,…

Interested in Arithmetic geometry (Arakelov geometry, Berkovich spaces, Diophantine geometry) and Proof assistants (especially Lean).