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 Members
- Prof. Dr. Judith Ludwig
- Dr. Hazem Hassan (Postdoc)
- Dr. Alireza Shavali (Postdoc)
- Miriam Philipp (PhD student)
- Timo Kränzle (Master student)
Admin: Sabine Eulentrop, Mathematikon Room 3.412, eulentrop@mathi.uni-heidelberg.de
Teaching in Winter 2026/27
- Lecture course “Modular Forms 2” (J. Ludwig, A. Shavali)
- Seminar “Fermat and Number Theory” (J. Ludwig, A. Shavali)
- Research Seminar “Algebra and Number Theory”, SFB GAUS
The lecture course and the seminar are organized via Mampf.
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
Former Members
- Dr. Jakob Burgi
- Dr. Junyan Xu