Student Projects

We are constantly offering topics on all levels in our research areas. Come see us to discuss your individual interests.

Contact: Bernd Finkbeiner

Bachelor Students

• Bachelor Thesis

Master Students

• Master Practical Training
• Master Thesis

Doctoral Students

• Research Immersion Lab
• Doctoral Privatissima

Topic Areas

• Automata and Game Theory
• Verification
• Synthesis
• Temporal Logic
• Topics related to our research activities in AVACS or SpAGAT

Suggestions for Thesis Topics (contact us for more)

• Safety Automata and their Efficient Symbolic Representation
  Contact: Rüdiger Ehlers
• Symbolic Techniques for Synthesizing Component Certificates
  Contact: Hans-Jörg Peter
• Counterexample-guided Abstraction Refinement for Model Checking ATL
  Contact: Rayna Dimitrova