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). Wir sind dabei in erster Linie an vollautomatischen Verfahren interessiert, die keine oder sehr wenig Benutzerinteraktion erfordern.

Ein Schwerpunkt ist dabei die Weiterentwicklung von grundlegenden logischen Entscheidungsverfahren (z.B. SAT/SMT-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.