Image © ph1

The Institute of Theoretical Computer Science

Our institute is concerned with the theoretical aspects of modern computer science, in particular formal modeling and analysis of artificial systems. In conjunction with a comprehensive curriculum, it covers all main aspects of the theory of computer science.

details The Institute of Theoretical Computer Science