Dr. rer. nat. Anselm Haak

Meine Forschungsinteressen liegen hauptsächlich im Schnitt der Informatik und Logik, sowie der parametrisierten Komplexität und verwandten Themen.

In der Vergangenheit habe ich an Zählkomplexität, deskriptiver Komplexität, Schaltkreiskomplexität, parametrisierter Komplexität, Prädikatenlogik erster und zweiter Stufe und Teamlogiken gearbeitet.

Hier in Paderborn plane ich, die Komplexität von (Zähl-)Problemen zu untersuchen, die in Beschreibungslogiken auftreten. Dabei hoffe ich, dass der Blickwinkel der parametrisierten und feinkörnigen Komplexität neue Erkentnisse bringt.

Darüber hinaus bin ich immer an spannenden neuen Forschungsrichtungen in diesen und verwandten Bereichen interessiert.