Unimportant picture     

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.


x Forschungsprojekte

x Tools
x Veröffentlichungen
x Mitarbeiter der Forschungsgruppe
x Oberseminar Theoretische Informatik
x Arbeitsgemeinschaft Theoretische Informatik
x Unsere ehemalige Projektseiten


koenigb@in.tum.de
Last modified: Thu Nov 7 14:15:23 MET 2002