Strict requirement: To work on a thesis with us you must have passed one of the following courses:

• „Formal Methods in Software Design“ (Formale Methoden im Softwareentwurf)
• „Automated Theorem Proving“ (ATP),
• Formal Methods in Specification and Verification of Object-Oriented Software„ (FSAV),
• “Model Checking„ (MC)
• one of our seminars “Symbolic Execution„, “Deductive and Interactive Verifiers"

If you fulfill the above requirement and are interested 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.

Please note that our group does not carry out research in the area of large language models and similar. Hence, we do not offer and do not supervise thesis topics that involve LLMs.

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.