http://www.tu-ilmenau.de

Logo TU Ilmenau


FG Automaten und Logik (AL)
(bis 2014 FG Theoretische Informatik)

headerphoto FG Automaten und Logik (AL)
(bis 2014 FG Theoretische Informatik)
Ansprechpartner

Univ.-Prof. Dr. Dietrich Kuske

Fachgebietsleiter

Telefon +49 3677 69-1444

E-Mail senden

Ihre Position

INHALTE

FG Automaten und Logik (AL)

Willkommen im Fachgebiet Automaten und Logik

(bis 2014 Fachgebiet Theoretische Informatik)

Teil des Instituts für Theoretische Informatik der Fakultät für Informatik und Automatisierung.

Die Forschungsschwerpunkte des Fachgebiets Automaten und Logik liegen in den Bereichen Methoden der automatischen Verifikation verteilter Systeme und automatische Strukturen. Diese Untersuchungen verwenden insbesondere Methoden der Logik und der Automatentheorie und gehören daher zum umfassenderen Gebiet der Logik in der Informatik. 

In der automatischen Verifikation versuchen wir einen Kompromiss zwischen der Ausdrucksstärke von Spezifikationssprachen und ihrer algorithmischen Beherrschbarkeit zu finden. Dabei werden kürzlich gewonnene theoretische Erkenntnisse zu verteilten Modellen mit endlich vielen internen Zuständen auch auf ihre praktische Relevanz hin untersucht, angepasst und erweitert. Zu diesen Fragen existieren enge Kontakte z. B. nach Paris und Bordeaux.

Neben diesen Systemen ist auch die Verifikation von solchen mit unendlich vielen internen Zuständen (die z. B. durch stacks oder string-Variablen auftreten können) von Interesse. Ein abstraktes Modell dieser Systeme sind automatische Strukturen. Wir untersuchen diese Strukturen von der algorithmischen (Welche Fragen sind mit welchem Aufwand lösbar?)  und von der abstrakten Seite (Welche modelltheoretischen Eigenschaften zeichnen diese Strukturen aus?) Zu diesen Fragen kooperieren wir insbesondere mit Kollegen in Siegen und Auckland.