Unimportant picture     

Theory group

[These pages are out of date, please refer to our current pages.]

 

The theory group at the Chair of ``Theoretical Computer Science and Foundations of AI'' conducts research in
  • Specification and Verification of Distributed Systems, and
  • Complexity Theory and Design of Parallel Algorithms.


x Research projects

x Tools
x Publications
x Members of the Theory group
x How to find our rooms...
x Seminar on Theoretical Computer Science (in german)
x Dagstuhl seminar "Verification of Infinite-state Systems"


vi powered! HTML4.0 checked!


schwoon@in.tum.de
Last modified: 10.11.2000