Mathematical Methods in Information Technology
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.
1st Year
They will pass on all their knowledge and hold you in difficult moments
Prof. Ing.
Vojnar Tomáš
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.
Češka Milan
Ph.D.
Prof. RNDr.
Češka Milan
CSc.
Doc. Mgr.
Holík Lukáš
Ph.D.
Ing.
Hrubý Martin
Ph.D.
Prof. RNDr.
Meduna Alexander
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.
Rogalewicz Adam
Ph.D.
What are we talking about?
-
Truck drivers have a poor view of their immediate surroundings - blind spots cover not only the area in front of and behind the truck, but also the sides. So from July 2024, European Commission regulations require trucks and buses to have safety sensors that can detect motorcyclists, cyclists or other vulnerable road users. …
-
Voice deepfakes can't be detected by humans or security systems. Attacks on the rise
Spreading alarm messages or disclosing confidential company or bank data. Artificial intelligence is developing rapidly and almost anyone can create deepfake voice recordings at home and in high quality. …