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.