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 Automata Theory: Logic in Computer Science, in particular Description Logics, Automatic Deduction with focus on Equational Reasoning, Automata and Logic; Molecular Computing
• Chair of Foundations of Programming: Weighted Tree Automata and Transducers, Syntax-Directed Processing of Natural Languages
• Chair of Knowledge-Based Systems: Connections of Logic-Based Knowledge Representation Formalisms and Modern Database Architectures