- 👋 Hi, I’m @AntoineChambert-Loir, I'm a professor in mathematics at Université Paris Cité, Institut de mathématiques de Jussieu Paris Rive Gauche.
- 👀 I’m interested in mathematics (arithmetic geometry, and many other fields involving number theory or algebraic geometry, suc as nonarchimedean geometry and Arakelov geometry).
- 🌱 I’m currently learning Lean and formalization of mathematics, this is actually my reason of being here.
- 💞️ I’m looking to collaborate on ...
- 📫 How to reach me: my professional webpage has a link to my professional email address.
antoinechambert-loir Goto Github PK
Name: Antoine Chambert-Loir
Type: User
Company: Université Paris Cité
Bio: Professor of mathematics
Twitter: achambertloir
Location: Paris
Blog: https://webusers.imj-prg.fr/~antoine.chambert-loir/index.xhtml