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, M. Philipp)
- GAUS-AG “The Kudla program” (G. Böckle, H. Hazem, J. Ludwig, A. Shavali)
- Research Seminar “Algebra and Number Theory”, SFB GAUS
- Research Seminar “Formal Mathematics” (with F. Schaffhauser and D. Vogel)
The lecture course and the seminar are organized via Mampf, where you can find further material such as the exercise sheets and a detailed program.
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 “Algebra and Number Theory”, SFB GAUS.
- Research Seminar “Formal Mathematics” (with F. Schaffhauser and D. Vogel)
Former Members
- Dr. Jakob Burgi
- Dr. Junyan Xu