Open Theses

How to apply for a thesis topic

If you have an interest in one of these topics

  • formal specification and deductive verification,
  • formal modeling and analysis of distributed systems or
  • software product lines

please approach one of us via email

  • Reiner Hähnle,
  • Richard Bubel,

for a thesis topic.

We always try to tailor it towards your interests as long as it fits in the above categories.

In rare cases we have open published thesis topics which would be listed in the table below.

Open Theses

Title Kind