Hello, nice to have you here.
I am a private lecturer (German: Privatdozent) at the Gottfried Wilhelm Leibniz Universität Hannover, Germany.
I am working at the Institute of Theoretical Computer Science, where I also did my Bachelor’s and Master’s Degrees in Computer Science as well as my PhD and Habilitation.
Research Interests (alphabetical order)
- Argumentation: abstract as well as logic-based
- Artificial Intelligence: logical foundations
- Complexity Theory: problem 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
[2024 − 2025 ]
-
Finished
-
[DAAD] Descriptive Complexity of Parameterised Counting Classes
[01'2018 − 12'2019]
-
-
[MWK] Innovation Plus: Komplexität von Algorithmen
[02'2020 − 09'2022]
Program Committee Member
Conference Reviewing
- AAAI (2021, 2023, 2024)
- 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, 2022, 2023, 2024)
- 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
Publications
Conference
Journal
Theses
Editorship
</div>
Powered by Jekyll and Minimal Light theme.