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!

Last modified: 10.11.2000