Abschlussarbeiten

Am Lehrstuhl beschäftigen wir uns vor Allem mit Modellierung und Verifikation. Dabei interessiert uns auch die Qualität der Modellierungssprachen, also wie gut diese sich auf bestimmte Probleme anwenden lassen, wie sie sich erweitern lassen und welche Verifikationsmethoden sie unterstützen. Damit ergibt sich eine Fülle möglicher Themen für Abschlussarbeiten.

Interessante Modellierungssprachen sind zum Beispiel:

  • Prozesskalküle (z.B. der pi-Kalkül)
  • Petri-Netze
  • Event Structures
  • Population Protocols
  • Automaten
  • …

Auch gibt es viele Methoden und Tools für die Verifikation:

  • Theorembeweiser (z.B. Isabelle/HOL)
  • Model Checker (z.B. Spin)
  • Typ Systeme
  • ….

Mögliche Themen können sich um solche Modellierungssprachen und/oder Verifikationsmethoden drehen. Um ein passendes Thema zu finden, reden wir normaler Weise mit Euch (in einem ca. 30 minütigem Vorgespräch) über Eure Vorkenntnisse und Interessen und suchen dann gemeinsam nach interessanten Themen. Zu diesen Vorgesprächen könnt Ihr gerne bereits mit konkreten Vorschlägen kommen, aber solche Vorschläge sind nicht nötig.

Bei Interesse schreibt mir bitte eine E-Mail () mit 2-3 Terminvorschlägen für ein Vorgespräch.