If you have an interest in one of these topics

• formal specification and deductive verification,
• formal modeling and analysis of distributed systems

please approach one of us via email

• Reiner Hähnle, haehnle@cs.tu-…
• Richard Bubel, bubel@cs.tu-…

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.