Themen für Diplom- und Magisterarbeiten

Wenn Sie sich für eines der angeführten Themen interessieren, wenden Sie sich bitte direkt an den jeweiligen Betreuer. Grundsätzlich sind auch eigene Themenvorschläge willkommen. Sie müssen lediglich einen von uns als Betreuer der selbstgewählten Aufgabenstellung gewinnen ...

Betreuer A. Leitsch

Automatische Konsistenzprüfung von Spezifikationen und Modellbildung

Betreuer C. Fermüller

Dialogspiele und Beweissysteme für Fuzzy-Logiken
Fuzzy-Logiken und Theorien der Vagheit (Aufarbeitung neuerer Literatur)
Logiken für den Umgang mit inkonsistenten und/oder unterbestimmten Daten
Entwicklung und Implementation eines Tableau-Beweisers für mehrwertige Modallogiken

Betreuer R. Freund

Auf Array-Grammatiken basierende Systeme zur Buchstabenerkennung (s. auch Praktika)
Betreuer: R. Freund
Entwicklung graphischer Entwicklungsumgebungen (s. auch Praktika)
Grammatiksysteme

Betreuer B. Gramlich

Schwerpunktmäßig biete ich Themen in folgenden Gebieten an:

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

Nähere Informationen dazu und konkrete Themenmöglichkeiten auf Anfrage.

Betreuer G. Salzer

Bevorzugt betreue ich Themen in folgenden Bereichen:

Formale Spezifikation und Verifikation
Kryptographie
Theoretische Informatik
Logik in der Informatik

Wenn Sie eines dieser Gebiete prinzipiell interessiert, kommen Sie vorbei, damit wir eine Aufgabenstellung finden können, die uns beide anspricht.

Aktuelle Themen: