The table below lists open thesis topics, the topics include the relevant contact information.

If no topics are listed but you have an interest in one of these topics

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

you can approach one of us via email

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

for a thesis topic.

As long as we have sufficient supervision time capacities, we will try to tailor it toward your interests as long as it fits in the above categories.