Dissertationsthemen

Organisatorisches

Wer mit dem Gedanken an eine Dissertation im Rahmen eines Doktoratsstudiums spielt (siehe auch Fachschaft Doktorat, neuer Studienplan (Doktoratsstudium der Technischen Wissenschaften)) und sich inhaltlich für formale, theoretische und/oder logische Aspekte der Informatik interessiert, ist eingeladen, unverbindlich mit mir Kontakt aufzunehmen, um Näheres (mögliche Themen, zeitliche Planung, evtl. Finanzierung) zu besprechen. Insbesondere im Hinblick auf eine eventuelle finanzielle Unterstützung (z.B. mittels Stipendium oder mit Unterstützung aus Projektmitteln) ist eine frühzeitige Kontaktaufnahme sehr sinnvoll. Bei entsprechender Themenwahl wird auch angestrebt, Doktoratsstudierende in laufende internationale (bilaterale und multilaterale) Projekte unserer Arbeitsgruppe mit einzubinden.

Themen

Wer bereits thematische Vorstellungen (in obigem Rahmen) hat und von mir betreut werden möchte, sollte das einfach mit mir besprechen. Generell biete ich diverse Themen aus den folgenden Gebieten an, die in jedem Einzelfall dann noch - in Absprache und je nach Interessen des/der Doktoratsstudierenden - genauer zu spezifizieren und definieren sind:

Termersetzungssysteme (Rewriting) und Equational Reasoning (siehe auch Termersetzungssysteme / Term Rewriting Systems, Computational Equational Logic, VMTL - Vienna Modular Termination Tool)
- Modulare Aspekte von Termersetzungssystemen
- Eigenschaften bedingter Termersetzungssysteme
- Termersetzung mit Strategien
- Konfluenz- und Terminationskriterien
- Anwendungen von Termersetzungssystemen und -methoden
Funktionale / Logische / Funktional-Logische Programmierung
- Evaluations- und Reduktionsstrategien
- Programmverifikation und -transformation
Deduktion / Automatisches Beweisen
- Rewrite-basiertes (automatisches) allgemeines / induktives Beweisen
- Strategische, heuristische und pragmatische Aspekte bei der Beweissuche
- Entwurf und Implementierung modularer (rewrite-)basierter Beweissysteme
- Theoretische Fragestellungen zu Entscheidbarkeit und Komplexität gewisser Probleme
Formale Methoden im Software Engineering
- Analyse und Vergleich von in der Praxis eingesetzten formalen Methoden
- Kombination verschiedener moderner Verfahren und ihre praktische Einsetzbarkeit

Voraussetzungen

Neben den formalen Voraussetzungen (siehe Doktoratsstudien an der TU, neuer Studienplan (Doktoratsstudium der Technischen Wissenschaften), Dekanatszentrum der Fakultäten für Informatik, Mathematik und Geoinformation, Physik und Technische Chemie, Dekanat - Doktoratsstudium) sollten InteressentInnen natürlich solide Grund- und z.T. auch vertiefte Kenntnisse in den entsprechenden Gebieten mitbringen. Am allerwichtigsten sind jedoch

die Befähigung zum selbstständigen wissenschaftlichen Arbeiten, sowie
die Bereitschaft und Motivation zu intensiver, zielorientierter Arbeit und Forschung im Bereich des Dissertationsthemas, in Absprache und unter Anleitung des Betreuers.

Da die Erstellung einer Dissertation einen beträchtlichen Zeit- und Arbeitsaufwand sowohl von Seiten der/des Doktoratsstudierenden als auch bzgl. Betreuung und Anleitung auf Betreuerseite bedeutet, sind die Vorgespräche zwischen Betreuer und potentiellen InteressentInnen außerordentlich wichtig, um frühzeitig inhaltliche, organisatorische und Eignungs-Aspekte besprechen zu können und dadurch von Anfang an gute Voraussetzungen für einen erfolgreichen Abschluss einer einmal begonnenen Dissertation schaffen zu können!

Bernhard Gramlich