Home | deutsch | Legals | 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.



[19.04.2011] Google Tech Talk

On the 22nd of February we gave a Google Tech Talk in Munich. The video of talk is now available on Youtube.

[04.02.2010] We Have Moved

Our new offices are located in building 50.34 on the second floor (British floor numbering scheme). The room numbers are 225, 226 and 227.

[01.12.2009] We Have a New Member

Stephan Falke, so far University of New Mexico, Albuquerque, is a new member of our group. Welcome!

SAT-Race 2010

We organize SAT-Race 2010, a competitive event for solvers of the Boolean Satisfiability (SAT) problem.

SAT-Race 2010 is affiliated with the 13th International Conference on Theory and Applications of Satisfiability Testing (SAT 2010), which will take place as part of FLoC in August 2010 in Edinburgh, UK.

SAT-Race 2010
All News

Click here for a complete list of all announcements.