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
please approach one of us via email
- Reiner Hähnle, email@example.com-…
- Richard Bubel, firstname.lastname@example.org-…
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.