Research at the chair traditionally falls into two areas:

• Formal Methods and Theoretical Computer Science, focusing on the Specification and Verification of Concurrent and Distributed Systems, Formal Languages and Automata Theory, Complexity Theory, and Computer Security (Formal Methods and Theory Group)
• Foundational Research in the area of Artificial Intelligence, focusing on Agent and Multiagent Technology, Knowledge and Ontologies in Open Environments, and Spatial Cognition and Neural Networks (AI/Cognition Group)