Forschung

Logik

Unsere Forschungsinteressen liegen hauptsächlich in den Gebieten der Endlichen und Algorithmischen Modelltheorie (d.h. die Modelltheorie endlich repräsentierbarer Strukturen, wie z.B. automatischer Strukturen) und der deskriptiven Komplexitätstheorie.

Projekte in diesem Bereich:

Spiele

Spiele bilden ein mächtiges mathematisches Rahmenwerk mit einer gut entwickelten Theorie und sehr allgemeinen und flexiblen Berechnungsmodellen. Im Besonderen erfassen sie in natürlicher Weise vielfache Formen von Interaktion. Viele Synthetisierungs- und Verifikationsaufgaben sowie die meisten Formel- und Anfrageauswertungsprobleme lassen sich als Spiel darstellen und verstehen.

Projekte in diesem Bereich:

Tafelseminar

In wöchentlichen Treffen wird jeweils ein Thema, mit dem sich der Vortragende zur Zeit beschäftigt, vorgestellt. Insbesondere sollen auch noch unpublizierte oder unfertige Arbeiten ausführlich diskutiert werden.

Weitere Forschungsinteressen

  • Datenbanktheorie
  • Logik und Optimierung
  • Abstract State Machines