Jannis Limperg

I’m a PhD student in Theoretical Computer Science and Theorem Proving at LMU Munich under the supervision of Jasmin Blanchette. I’m interested in interactive theorem proving, particularly tooling and automation for theorem provers based on dependent type theory.

You can email me at <my first name>.<my last name>@lmu.de. I speak German and English. Please feel free to address me by my first name and, in German, to use “du” instead of “Sie”. My pronouns are he/him.