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 send me email at <my first name>.<my last name>@lmu.de. I speak German and English. In German, I prefer the more informal “du” over the more formal “Sie”.

My office is room L 103, Oettingenstraße 67.

More information is available here.