Home | deutsch  | Legals | Data Protection | Sitemap | KIT

Dr. Carsten Sinz
Institute for Theoretical Computer Science

Am Fasanengarten 5
76131 Karlsruhe

Tel: +49 721 608-44212
Fax: +49 721 608-44211

Building 50.34

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.