Themen für Diplom-/Masterarbeiten

Diverse Themen u.a. aus folgenden Gebieten sind möglich:

Termersetzungssysteme (Rewriting) und Equational Reasoning
Funktionale / Logische / Funktional-Logische Programmierung / Regel-basierte Programmierung
Semantik von Programmiersprachen
Deduktion / Automatisches Beweisen
Formale Spezifikation und Verifikation
Formale Methoden im Software Engineering

Konkrete Themen können sich beispielsweise auch ergeben im Zusammenhang mit den Lehrveranstaltungen Termersetzungssysteme und Computational Equational Logic (siehe auch hier), Semantik von Programmiersprachen, Formale Methoden der Informatik, Theoretische Informatik und Logik, Seminar aus Theoretischer Informatik, Seminar aus Theoretischer Informatik und Logik.

In der Regel umfassen alle Themen einen theoretischen und praktischen Anteil. Je nach Neigung (und gemäß Vereinbarung) kann sowohl der theoretische als auch der praktische Aspekt bei der Diplom-/Masterarbeit im Vordergrund stehen.

Für genauere Informationen könne Sie gerne mit mir Kontakt aufnehmen.

Eigene Themenvorschläge sind ebenfalls jederzeit willkommen!

Eine Übersicht der von unserer Arbeitsgruppe Theoretische Informatik und Logik (E185/2) angebotenen Diplomarbeitsthemen findet sich hier.

Last modified: Fri Oct 2 18:51:18 CEST 2009

Bernhard Gramlich