Study programmes

The graduate has thorough understanding of theoretical foundations of computing systems as well as he has a broad overview of practical computing methods and procedures. The graduate understands various computational models and their relationships, knows their possibilities and limitations, understands fundamental problems of cryptography, and is able to use a broad spectrum of algorithmic techniques and techniques of data structure design. The graduate has thorough understanding of probability and its applications for algorithm design and analysis. The graduate has the ability to comprehend abstract models of computational processes, is able to analyze them and model them. The graduate is able to verify soundness and correctness of such models and is able to argument with precision and clarity. The graduate is able to analyze and predict behavior of stochastic systems. The graduate is able to be in touch with the current state-of-the-art in a given discipline and ideally he/she is able to contribute to the discipline. The graduate can apply his/her skills in the design and analysis of complex systems and in the development of innovative solutions and transformative technologies. The graduate will find carrier opportunities in top companies and institutions focused on research and development of new technologies, data analysis and modeling of various systems (financial, biological, technological etc.), and solving complex problems. The graduate is also well prepared for doctoral studies in theoretical computer science and related areas at any university. The graduate can present his/her ideas, formulate and solve problems, work with professional literature and use his/her programming skills.