Selected Topics

Institute of Computer Science AS CR is a public research organization, which, according to its founding charter does not have a doctoral degree program. The Institute focuses on basic research, however, employs PhD students and post-docs in the areas covered by the research institute.

Theoretical Computer Science

Machine Learning

Complex Systems

Statistical modelling

Formal Verification