Algebraic and Logical Foundations of Computer Science
The chair of Algebraic and Logical Foundations of Computer Science researches the modeling, specification and verification of reactive systems. The focus is on the formal analysis and synthesis of stochastic systems and on explainability in the context of formal methods. Further areas of research include automata theory, temporal and modal logics, game theory and dynamic systems.
