Home | english | Impressum | Sitemap | KIT

Kontakt
Dr. Carsten Sinz
Institut für Theoretische Informatik

Am Fasanengarten 5
76131 Karlsruhe

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

Gebäude 50.34

Die Forschungsgruppe "Verifikation trifft Algorithmik" am Institut für Theoretische Informatik befasst sich mit Verfahren zur Qualitätssicherung (Verifkation) von Hard- und Software einschließlich der zugehörigen Grundlagenforschung (Algorithmik).

Ein Schwerpunkt ist dabei die Weiterentwicklung von grundlegenden logischen Entscheidungsverfahren (z.B. SAT-Solving), die im Kern vieler Verifikationstools Verwendung finden. Hier beschäftigen wir uns insbesondere mit der Konstruktion neuer Algorithmen für in der Praxis auftretende Probleme, sowie deren Anpassung auf moderne Hardwarearchitekturen (Multi-Core, Grid). Daneben ist die Analyse der inneren Struktur solcher Probleme eines unserer Forschungsthemen.

Ein weiterer Schwerpunkt unserer Gruppe ist die Nutzbarmachung von Verifikationsmethoden für industrielle Probleme (Produktkonfiguration, Software-Verifikation), insbesondere für die Automobilindustrie.

 

NEWS

[19.04.2011] Google Tech Talk

Am 22. Februar haben wir einen Google Tech Talk in München gehalten. Das Video zum Vortrag kann ab sofort hier angeschaut werden.

[04.02.2010] Wir sind umgezogen

Unsere neuen Büros befinden sich in Gebäude 50.34 im zweiten Stock und haben die Zimmernummern 225, 226 und 227.

 
[01.12.2009] Neuer Mitarbeiter

Stephan Falke, bisher tätig an der University of New Mexico, Albuquerque, ist neues Mitglied unserer Forschungsgruppe. Herzlich willkommen!

SAT-Race 2010

Wir veranstalten dieses Jahr das SAT-Race 2010, einen Wettbewerb für Programme zur Lösung des aussagenlogischen Erfüllbarkeitsproblems.

SAT-Race 2010 ist Teil der 13th International Conference on Theory and Applications of Satisfiability Testing (SAT 2010), die dieses Jahr im Rahmen der FLoC in Edinburgh, GB stattfindet.

SAT-Race 2010
 
Alle News

Klicken Sie hier um eine vollständige Liste aller Ankündigungen einzusehen.