The division pursues research and education within the broad field of Formal Methods.
Formal Methods are a collection of notations, techniques and methods for describing and analyzing systems. These notations, techniques and methods are formal, meaning that they are based on mathematical theories like logic, automata or graph theory.
More concretely, our division performs research on the development and use of formal specification languages and verification approaches for different applications, including low- and high-level software, and (legal) contract analysis. Specification languages include classical and modal logics, and our verification techniques comprise model checking, automated reasoning, interactive theorem proving, static and runtime verification, and testing.