Forschungsthemen

  Wortwolke: algorithm, logic, isomorphism, theory, tree, data, first-order Urheberrecht: Informatik 7
 
 

Logik

  • endliche Modelltheorie
  • deskriptive Komplexitätstheorie
  • Strategiesynthese aus logischen Spezifikationen

Algorithmen

  • algorithmische Graphenstrukturtheorie
  • algorithmische Metasätze
  • zertifizierende Algorithmen
  • algorithmische Theorie unendlicher Graphen
  • algorithmische Gruppentheorie
  • Online-Algorithmen

Automatentheorie

  • automatentheoretische Methoden in der Verifikation
  • Theorie endlicher Automaten auf unendlichen Objekten

Komplexitätstheorie

  • parametrische Komplexitätstheorie
  • Komplexität von Constraint Satisfaction Problemen

Datenbanktheorie

  • Ausdrucksstärke und algorithmische Aspekte von Anfragesprachen
  • streaming und "big data" Algorithmen