Bachelor and Master Thesis

We love to work with you on your bachelor or master thesis. If you are interested, reach out for available topics directly to Malte Mues.

Winter term 2025/2026

• Aspects of Programming Language Design (Bachelor)
• Seminar: Evaluation of Research Software Artifacts (Bachelor)

Summer term 2025

• Introduction to software verification (Master)