Bachelor-, Master- und Diplomthemen in Bearbeitung

Bachelorarbeiten

Masterarbeiten

Zur Zeit keine.

Diplomarbeiten

  • Albert Zeyer
    Sprachoperationen und eine Strukturtheorie der omega-Sprachen (Arbeitstitel)
  • Seong-Nam Cho
    Uniformisierung von Wortrelationen
  • Benedikt Brütsch
    Synthese strukturierter reaktiver Programme
  • Nina Beckmann
    Pfadlogiken mit Synchronisationskonstrukten (Arbeitstitel)
    Betreuung: W. Thomas
  • Christian Ebert
    Vergleich verschiedener Ansätze zur Lösung von Muller-Spielen
    Betreuung: W. Thomas