Software Verification and Testing
Acad. year 2022/2023Full-Time 2 Years Title Awarded Ing.
The specialization Software Verification and Testing is open in Czech language only. V rámci specializace Verifikace a testování software se seznámíte s principy a technologiemi pro zajištění kvality (nejen) software. Jedná se o technologie statické analýzy a verifikace, automatizovaného testování, nebo vývoje s využitím modelů. Po skončení studia budete mít přehled o možnostech ověřování kvality počítačových systémů a stejně tak jejich o teoretických a praktických limitech. To vám umožní pracovat ve firmách zabývajících se velkými a/nebo složitými projekty.
1st Year
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.
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. …
-
Paint like Pollock. Mobile app by FIT BUT students awakens the inner artist in children and adults
Brushes, paints, palette, canvas - all these are usually considered basic necessities for artistic expression. Designed for all art lovers, regardless of age, the Pollock Artify app offers the opportunity to unleash your creativity with a tool that is always at hand - your mobile phone. …
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