Research at the Institute of Theoretical Computer Science

The key research areas at the Institute of Theoretical Computer Science are in the scope of complexity theory (analysis of difficulty of computational problems with respect to runtime and space requirements), efficient algorithms (search for efficient algorithms for computational problems), formal languages (structure of artificial languages such as programming languages) and applications of mathematical logic in computer science.