The research group "Verification meets Algorithm Engineering" at the Institute for Theoretical Computer Science deals with new methods and algorithm design for the verification of hardware and software.

We mainly focus on the development of basic decision procedures (like SAT solvers and model checkers), which are core components of many verification tools. We especially construct new algorithms for problem instances resulting from real-world applications, and adjust these algorithms to modern hardware architectures like multi-core computers or compute clusters. A further research topic is the analysis of the internal structure of verification problems.

We are also engaged in technology transfer,  and apply our methods to industrial applications like product configuration or software verification, in particular for the automotive industry.