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.

Summer term 2025

  • Introduction to software verification