Schwerpunkt: Modelle und Algorithmen
Projekte
- Forschergruppe Algorithmen, Struktur, Zufall (gefördert durch die DFG)
- Aussagenlogische Beweiskomplexität und disjunkte NP-Paare (gefördert durch die DFG)
- Graduiertenkolleg Combinatorics, Geometry, and Computation (gefördert durch die DFG)
- Endliche Modelltheorie (Beteiligung am EU Netzwerk MODNET)
- Grundlagen der Verarbeitung von großen Datenmengen und Datenströmen (gefördert im Rahmen des DFG Aktionsplan Informatik)
- Die Komplexität von Constraint-Satisfaction Problemen (gefördert durch die DFG)
- DFG-Forschungszentrum Matheon (gefördert durch die DFG)
- Die Struktur parametrischer Komplexitätsklassen (gefördert durch die DFG)
- Strukturelle und spielbasierte Analyse von Auswertungs- und Erfüllbarkeitsproblemen (gefördert im Rahmen des DFG Aktionsplan Informatik)
English-
Projekte
- Algorithmen, Struktur, Zufall
- Beweiskomplexität und disjunkte NP-Paare
- Auswertungs- und Erfüllbarkeitsprobleme
- Combinatorics, Geometry, and Computation
- Constraint-Satisfaction Probleme
- DFG-Forschungszentrum Matheon
- Endliche Modelltheorie
- Parametrische Komplexitätsklassen
- Verarbeitung großer Datenmengen
- Lehre