Acad. Year 2022/2023Full-Time Study3 Years Title Awarded Bc.
Modern Information Technology will provide you with a wide range of applications in practice. Mathematics, electronics, programming and many more are expected. You actively engage in research where you train your practical skills. When you get there, companies will be furious about you. You will be analysts, programmers, testers or maintainers of various software systems, as well as ICT managers and entrepreneurs. After bachelor's degree, you can also continue your studies in a follow-up master's degree.
Doc. Dr. Ing.
Dušan Kolář is the head of the Department of Information Systems. During your studies, you will meet him in the courses Advanced Database Systems and Functional and Logic Programming. He focuses on formal languages, their processing and reverse translation (eg in FIT/Avast cooperation).
Prof. Dr. Ing.
He teaches Signals and Systems, mostly a hated object full of complex numbers, convolutions, and other disgusts. Only later will the students appreciate that they will be useful in their life in the processing of sound, video, but also sensory or large-scale data. He like to advise thoughtful students with many projects including Erasmus+.
Prof. Ing.
CSc.
Ing.
Ph.D.
As a member of Formal Models research group he studies formal languages. He assigns and evaluates students' projects in Formal Languages and Compilers course and Principles of Programming Languages course. He tries to be helpful but the points have to be earned. Outside school he organizes Animefest.
Prof. RNDr.
CSc.
He is a theoretical computer scientist and expert on compiler design, formal languages and automata. Formerly, he taught theoretical computer science at various Asian, European and American universities, including the University of Missouri, where he spent a decade teaching advanced topics of formal language theory. He wrote over ninety scientific papers and several books.
Ing.
Ph.D.
His main interest is quality control of software. He puts a lot of effort in research of software testing and helps students to create functional and bug-free programs. He does not bring knowledge and experience as is, he rather leads students to think about complex problems and solutions by themselves while providing real scenarios from practise.
Prof. Ing.
Ph.D.
Tomas likes to work on the edge between mathematics, formal methods, and their applications in computer science and engineering. He is interested in static analysis and verification with formal roots but also dynamic analysis and testing. He lectures on operating systems too. Apart from the factual contents of the different courses, he strives to teach students to think systematically and to precisely formulate their ideas.