© ph1
About the Institute
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.