Chair of Knowledge Representation
Chair of Automata Theory
Chair of Knowledge-Based Systems
Chair of Formal Argumentation and Formal Logic
Chair of Computational Logic
Chair of Computational Logic
Institute of Theoretical Computer Science
Center for Interdisciplinary Digital Sciences (CIDS)
Chair of Automata Theory
Chair for Knowledge-Based Systems