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

• Andreas Boysen, An FPGA-based Demonstrator for Dynamic Ticks
  Advisor: Alexander Schulz-Rosengarten
• Lewe Andersen, Dataflow and Statemachine Extraction from C Code
  Advisors: Steven Smyth, Niklas Rentz
• 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