Software Verification and Testing
Acad. year 2023/2024Full-Time 2 Years Title Awarded Ing.
Within the specialization Software Verification and Testing, you will learn about the principles and technologies for ensuring the quality of (not only) software. These include static analysis and verification technologies, automated testing, or model-driven development. Upon completion of your studies, you will have an overview of the possibilities of verifying the quality of computer systems as well as their theoretical and practical limits. This will enable you to work in companies dealing with large and/or complex projects.
Information technology moves the world
-
79 %
students gain practical experience
-
98 %
students successfully pass the State Final Examination
-
99 %
graduates find work in the month
-
40 938 Kč
is the average starting salary for graduates
1st Year
Compulsory Programme Courses - Winter
Compulsory Programme Courses - Summer
The common basis of the programme
The common core of the program consists of courses that will give you the knowledge important for all IT engineers:
- Computation Systems Architectures will teach you how to think about how your code will run on modern computing platforms, how to think about programming in a way that makes the most efficient use of resources, i.e., that your application makes the best use of the power of modern platforms, makes efficient use of system memory resources, and is also efficient in terms of energy consumed.
- Functional and Logic Programming will teach you that although classical imperative programming is a very widely used paradigm and is very close to machine-level implementation, there are other approaches that will give you a new perspective on some key problems and help you get novel and often more efficient solutions to them.
- Modern Trends in Informatics (in English) you need to know to see where the field is going and what to expect in practice in a few years.
- Parallel and Distributed Algorithms is a course that will show you the patterns, limits, and pitfalls of parallel and distributed algorithmic solutions and the associated synchronization mechanisms, without which you will hardly succeed in solving many of the more complex problems.
- Statistics and probability is the right hand of every engineer to process numerical results of experiments or data obtained while running your application, analyze them and learn from them to make further decisions is almost his daily bread.
- Theoretical Computer Science shows the limits of computer science capabilities through formal languages and mathematical models of computation. This is the only way to understand whether your problem is even solvable and, if so, with what resources and means to prove it.
- Data Storage and Preparation, especially big data, and extracting knowledge from it is a valuable art to any computer scientist. It is a key aspect that strongly influences the effectiveness of many solutions and applications.
- Artificial Intelligence and Machine Learning is a course where you will learn how to teach computers to understand our world and make them solve problems that are easy for humans but difficult for an algorithmic machine to handle.
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.
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. …
Come to FIT!
Other Master
Specializations
-
Application Development
-
Bioinformatics and Biocomputing
-
Computer Graphics and Interaction
-
Computer Networks
-
Computer Vision
-
Cyberphysical Systems
-
Cybersecurity
-
Embedded Systems
-
High Performance Computing
-
Information Systems and Databases
-
Intelligent Devices
-
Intelligent Systems
-
Machine Learning
-
Mathematical Methods
-
Software Engineering
-
Software Verification and Testing
-
Sound, Speech and Natural Language Processing