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 Summer 2026
- Lecture course “Modular Forms 1”. (J. Ludwig, A. Shavali)
- Seminar “Mathematics in Lean” (J. Ludwig, J. Xu).
- GAUS-AG “Symmetric Power Functoriality” (J. Ludwig, A. Shavali)
- Research Seminar “Formal Mathematics” (with F. Schaffhauser and D. Vogel).
- Research Seminar “Algebra and Number Theory”, SFB GAUS.