Research Interests

My main research interest revolves around static analysis with abstract interpretation. In particular, I am interested in incremental static analysis, optimizing the performance / precision tradeoff of static analysis, and extending static analysis to programming language features that are not commonly supported by state-of-the-art tools. 

Publications

You can find an up-to-date list of my publications on my Google Scholar page.

Projects

I am contributing to the Goblint static analyzer.

Research Training Group ConVeY

I am a member of the research training group ConVeY, and co-organized the ConVeY retreat in the fall of 2024.

Teaching

• Vorkurs Mathematik für Informatiker - (winter 19/20, organization)
• Praktikum: Grundlagen der Programmierung - (winter 19/20, exercise instructor)
• Vorkurs Mathematik für Informatiker  - (winter 20/21, organization)
• Praktikum: Grundlagen der Programmierung - (winter 20/2, exercise instructor)
• Praktikum - Static Analysis: Automated Bug Hunting and Beyond -  (summer 21)
• Funktionale Programmierung und Verifikation - (winter 21/22, exercise Instructor)
• Funktionale Programmierung und Verifikation - (summer 22, exercise instructor)
• Praktikum - Static Analysis: Automated Bug Hunting and Beyond - (summer 22)
• Funktionale Programmierung und Verifikation -  (summer 23, exercise instructor)
• Praktikum - Static Analysis: Automated Bug Hunting and Beyond - (winter 23/24)
• Bachelor-Seminar: Static Analysis - Tools and Techniques - (winter 23/24)
• Master-Seminar: Static Analysis - Mastering Concurrency - (winter 23/24)
• Funktionale Programmierung und Verifikation - (summer 24, exercise instructor)
• Praktikum - Static Analysis: Automated Bug Hunting and Beyond - (winter 24/25)

Student Theses

Currently I am not planning on supervising additional thesis topics on Goblint.