Logik
und Theorie
diskreter Systeme

Informatik 7

Überblick

Wordcloud

 

Der Lehrstuhl umfasst ein breites Spektrum von Themen der theoretischen Informatik. Zentrale Forschungsprojekte sind das DFG Graduiertenkolleg AlgoSyn und das DFG Koselleck Projekt Logik, Struktur und das Graphenisomorphieproblem. Aktuelle Forschungsthemen in den einzelne Gebieten sind unter anderem:

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

Projekte

 

FaLang translation system by Faboba