Unimportant picture     

Theory group

[Deutsche Version]


The theory group at the Chair of ``Theoretical Computer Science and Foundations of AI'' conducts research in

  • Specification and Verification of Concurrent and Distributed Systems, and
  • Complexity Theory and Design of Parallel Algorithms.

x Research projects

x Tools
x Publications
x Members of the Theory group
x Seminar on Theoretical Computer Science (in german)
x Study group on theoretical computer science (in german)
x A Link to our former Research Projects Page

Last modified: Thu Nov 7 14:15:00 MET 2002