Research Focus

The main research interests of the institute are the following:

• Chair of Algebraic and Logical Foundations of Computer Science: probabilistic Model Checking and Verification
• Chair of Algorithmics: Our research focuses on the design and analysis of data structures and algorithms in varied settings (exact, approximate, online, streaming, etc.). We aim for algorithms that are simple and efficient.
• Chair of Algorithmic and Structural Graph Theory:
• Chair of Knowledge-Based Systems: Connections of Logic-Based Knowledge Representation Formalisms and Modern Database Architectures
• Senior Chair of Automata Theory: Logic in Computer Science, in particular Description Logics, Automatic Deduction with focus on Equational Reasoning, Automata and Logic; Molecular Computing