Serves as the Principal Investigator on several research projects.
Research Experience
Head of the Research Group Algorithms at the Institute of Theoretical Computer Science, Leibniz University Hannover. Involved in multiple research projects such as 'Applications and Complexity of Logics in Semiring Team Semantics' and 'Team Logics: New Bridges to Database Repairs'.
Background
Research interests include parameterized complexity and algorithms, enumeration algorithms, and logic-based approaches. Committed to developing efficient methods for solving complex problems.