Acad. year 2023/2024Full-Time 2 Years Title Awarded Ing.
Mathematical Methods in Information Technology will help you get to grips with information technology basics. At school, you will learn to understand and apply them practically. You will deepen your knowledge of mathematics, computer science, modelling, simulation and optimization, automated analysis, verification and correctness testing of computer systems. After graduation, you will become an in-demand specialist - you will be able to apply highly advanced modern technologies in practice, including unconventional ones. Thanks to your in-depth knowledge of algorithmization, you will find employment in the commercial sphere or in industries focused on developing and operating demanding software systems.
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.
Doc. RNDr.
Ph.D.
Prof. RNDr.
CSc.
Doc. Mgr.
Ph.D.
Ing.
Ph.D.
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.
Doc. Mgr.
Ph.D.