Institute for Theoretical Computer Science

prof. RNDr. Antonín Kučera, Ph.D.
Web pages:

The Institute for Theoretical Computer Science focuses on cutting-edge research in formal methods and discrete structures. The main long-term research priorities include the study of probabilistic systems and their game-theoretic extensions (with an emphasis on applications in control theory, verification, optimization, and security), and the development of efficient algorithms for discrete structures. Students are encouraged to participate in the research programme of the institute already during their bachelor and master studies, the members of the institute organize several problem-oriented seminars and offer individual supervision to talented students. The institute also aims at fostering international cooperation with leading research centers abroad.