Reliable Software and Distributed Systems

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

Summer term 2025

  • Introduction to software verification