I am a professor of mathematics at Heidelberg University.
For information about my research group "Automorphic Forms and p-adic Geometry" please visit this page.
I am interested in the Langlands programme via arithmetic geometry. My main research concerns the interplay of representation theory and non-archimedean geometry in the theory of p-adic automorphic forms.Â
I am also interested in formalisation of mathematics.