Elisabeth Lempa

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

Teaching

• WiSe 25/26 : Scientific and Technical English (TA)
• WiSe 25/26 : Einführung in die Programmierung (Zusatztutorium für Lehramtsstudierende)
• 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.