© Nils Eisfeld

Institut für Theoretische Informatik

Image © 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.