Dr. rer. nat. Anselm Haak

My main research interests lie in the intersection of computer science and logic, as well as parameterized complexity and related topics.

Previously, I have worked on counting complexity, descriptive complexity, circuit complexity, parameterized complexity, first-order and second-order logics and team logics.

Here in Paderborn, I plan to work on the complexity of (counting) problems arising in description logics, hoping to get new insights by viewing them through the lense of parameterized and fine-grained complexity.

I’m also always interested in exciting new directions of research related to my fields of study.