Welcometo the webpages of the Institute of Theoretical Computer Science. Our team investigates the foundations of concurrent behaviour in network applications, remote programs, and multi-threaded software. Our ambition is to understand the underlying principles and exploit them in the design of highly efficient analysis algorithms. Harnessing methods from computability theory, computer-aided verification, and formal languages, the institute is specialised in inference techniques for qualitative as well as quantitative properties, and currently extends state space exploration algorithms towards automatic system correction and optimisation.
To get an impression of our research topics and courses, consider