This is the webpage of the research group “Automorphic Forms and p-adic Geometry” at the Institute for Mathematics at Heidelberg University.
Research Interests: Automorphic Forms, (p-adic) Langlands programme, eigenvarieties, p-adic geometry, formalisation of mathematics in the Lean proof assistant.
Team
- Prof. Dr. Judith Ludwig
- Dr. Alireza Shavali (Postdoc)
- Dr. Junyan Xu (Postdoc)
- Jakob Burgi (PhD student)
- Miriam Philipp (PhD student)
Admin: Sabine Eulentrop, Mathematikon Room 3.412, eulentrop@mathi.uni-heidelberg.de
Teaching in WS 25/26
- Lecture course “Non-Archimedean Geometry”. (J. Ludwig, A. Shavali)
- Seminar “Modular Forms and Sphere Packings” (J. Xu).
- Research Seminar “Formal Mathematics” (with F. Schaffhauser and D. Vogel).
- Research Seminar “Algebra and Number Theory”, SFB GAUS.
Upcoming events
- Workshop: Formalising Algebraic Geometry in Lean, Heidelberg University, November 2025