In the specialization Algorithms and Deduction you can find possible projects and theses (BSc/MSc) if you contact the following supervisors.

At the university:

• Marvin Künnemann (computational complexity, fine-grained complexity),
• Anthony W. Lin (computational logic, verification, automata),
• Klaus Schneider (theory of embedded systems).

At the MPI SWS:

• Rupak Majumdar,
• Anne-Kathrin Schmuck,
• Viktor Vafeiadis,
• Georg Zetsche.