![Image](https://tu-dresden.de/ing/informatik/thi/ressourcen/bilder/institut/fenster_thi.JPG/@@images/e9e5b6e8-c5f5-4043-bddd-0db9371a9cc4.jpeg)
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.