Unimportant picture   

Theoriegruppe

[Diese Seiten sind veraltet, bitte verwenden Sie unsere aktuellen Seiten.]
[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 Wie findet man die Räume der Mitarbeiter?
x Oberseminar Theoretische Informatik
x Dagstuhl-Seminar "Verification of Infinite-state Systems"


vi powered! HTML4.0 checked!

schwoon@in.tum.de
Last modified: 10.11.2000