Hello, nice to have you here.
I am a professor at the Gottfried Wilhelm Leibniz Universität Hannover, Germany.
I head the research group Algorithms.
I obtained my Bachelor’s and Master’s Degrees in Computer Science as well as my PhD and Habilitation at Gottfried Wilhelm Leibniz Universität Hannover, Germany.
Research Interests (alphabetical order)
- Argumentation: abstract as well as logic-based
- Artificial Intelligence: logical foundations
- Complexity Theory: algorithmic complexity, parameterised complexity
- Enumeration: parameterised enumeration, enumeration complexity
- Logic in Computer Science: non-classical, non-monotonic, team, temporal, hybrid, modal, default, and autoepistemic logic
News
Projects
Active
-
[DAAD] Anwendungen und Komplexität von Logiken in der Semiring-Team-Semantik
['24 − '25 ]
-
Finished
-
[DAAD] Descriptive Complexity of Parameterised Counting Classes
[01'18 − 12'19]
-
-
[MWK] Innovation Plus: Komplexität von Algorithmen
[02'20 − 09'22]
Program Committee Member
-
(AAAI) AAAI Conference on Artificial Intelligence (2021, 2023, 2024, 2025)
-
(AAMAS) International Conference on Autonomous Agents and Multi-Agent Systems (2024)
-
(FCAI) Workshop on Foundations and Future of Change in Artificial Intelligence (2025)
-
(FoIKS) International Symposium on Foundations of Information and Knowledge Systems (2024 Co-Chair, 2026)
-
(IJCAI) International Joint Conference on Artificial Intelligence (2021, 2022, 2023, 2024, 2025),
Distinguished PC Member (2021, 2022)
-
(JELIA) European Conference on Logics in Artificial Intelligence (2025)
-
(LLC) International Workshop on Logic and Computational Complexity (2019)
-
(PRICAI) Pacific Rim International Conference Series on Artificial Intelligence (2024)
-
(STACS) International Symposium on Theoretical Aspects of Computer Science (2023)
Conference Reviewing
- AAAI (2021, 2023, 2024, 2025)
- AAMAS (2024)
- AiML (2014)
- CiE (2018, 2021, 2022)
- CSL (2018, 2021, 2022, 2024)
- CSR (2019)
- ESA (2021, 2022)
- FoIKS (2024)
- FoSSaCS (2015)
- ICALP (2014, 2020, 2021)
- IJCAI (2021−2025)
- JELIA (2023)
- LICS (2022, 2023)
- LODE (2020, 2021)
- KR (2024)
- MFCS (2016, 2022)
- SAT (2012−2014, 2018, 2023)
- STACS (2012, 2014−2018, 2020, 2021, 2023)
- STOC (2022)
- TAMC (2011)
- WoLLIC (2016)
Journal Reviewing
Project Application Reviewing
Publications
Conference
Journal
Theses
Editorship
</div>
Powered by Jekyll and Minimal Light theme.