Theoriegruppe [English Version of this site]   Die Theoriegruppe am Lehrstuhl für ``Theoretische Informatik und Grundlagen der Künstlichen Intelligenz'' betreibt Grundlagenforschung in den Bereichen der Spezifikation und Verifikation verteilter Systeme, sowie in der Komplexitätstheorie und dem Entwurf paralleler Algorithmen.

Forschungsprojekte

• Specification and Verification of Concurrent Systems [A. Kiehn, B. König, S. Römer]
• Efficient Algorithms for Hard Problems [P. Rossmanith]
• Algorithmic Learning Theory [P. Rossmanith]
• Evaluation problems [M. Holzer]
• Finite State Automata problems [M. Holzer, B. König]

• The Model-Checking Kit
  
• An LTL Model-Checker for Petri Nets
  

Veröffentlichungen

Mitarbeiter der Forschungsgruppe

Oberseminar Theoretische Informatik

Arbeitsgemeinschaft Theoretische Informatik

Unsere ehemalige Projektseiten