Institute of Theoretical Computer Science

We represent the section theoretical computer science in research and teaching, in particular the areas complexity theory, efficient algorithms, formal languages ​​and logic in computer science.

We represent the section theoretical computer science in research and teaching, in particular the areas complexity theory, efficient algorithms, formal languages ​​and logic in computer science.