Diese Seite dient zur Orientierung darüber, welche Themen zur Zeit durch wen bearbeitet werden bzw. in Planung sind. Interessierte Studierende sind dazu eingeladen, direkten Kontakt mit den Bearbeitern oder Betreuern aufzunehmen. Darüberhinaus geben auch die persönlichen Seiten der Mitarbeiter Auskunft über die jeweiligen Forschungsinteressen. Diese Liste ist nicht notwendigerweise vollständig. Bei den hier angegebenen Titeln handelt es sich generell um Arbeitstitel.

Master theses

• Merlin Kötzing, Self-Containing Compiler Evaluation for Synchronous Languages
  Advisor: Steven Smyth
• Philip Eumann, Model-based Debugging
  Advisor: Steven Smyth, Alexander Schulz-Rosengarten

Bachelor theses