Links und Funktionen


Inhaltsbereich

Elisabeth Lempa

Hello! ☔ I’m a PhD student in Theoretical Computer Science and Theorem Proving at LMU Munich under the supervision of Jasmin Blanchette.

You can send me email at <my first name>.<my last name>@ifi.lmu.de. Feel free to message me in German or English.

My office is room U160, Oettingenstraße 67.

Teaching

Publications


More information is available here.

Artikelaktionen


Funktionsleiste