Die Arbeitsgruppe beschäftigt sich mit Anwendungen der Logik in der Informatik. Das besondere Interesse gilt der endlichen Modelltheorie, der Datenbank und deskriptiven Komplexitätstheorie, sowie der automatischen Verifikation. Unsere aktuelle Forschungsarbeit konzentriert sich auf

• Logiken zur Verifikation sowie spieltheoretische Ansätze zum Model-Checking
• strukturelle Analyse des aussagenlogischen Erfüllbarkeitsproblems.

Last modified: Sat Apr 09 21:55:58 Westeuropäische Sommerzeit 2005

Stephan Kreutzer