Pseudo-Arc © M. Bodirsky

Forschung

Ein wichtiges aktuelles Forschungsthema am Lehrstuhl ist die Berechnungskomplexität von Constraint Satisfaction Problemen. Hierbei kommen universelle Algebra und Modelltheorie zum Einsatz.

mehr erfahren Forschung

Überblick

Büro © M. Bodirsky