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
- SoSe 25 Formale Sprachen und Komplexität/Theoretische Informatik für Studierende der Medieninformatik (TA)
Publications
- Formal Verification of Interactive Visual Novels. Analysing the Structure of Interactive Stories to Find Out What Makes Them Fun (Master Thesis)
- co[co]²nut. Concurrently Virtualising User Code Compilation (Bachelor Thesis)
More information is available here.
Artikelaktionen