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
students gain practical experience
students successfully pass the State Final Examination
graduates find work in the month
40 938 Kč
is the average starting salary for graduates
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
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.
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.
What are we talking about?
On Friday November 10, an event aimed at secondary school students interested in the topic of artificial intelligence, organized by FIT VUT in cooperation with FI MU, took place at the VIDA Centre in Brno. …
Young scientists want to use Cubesat to photograph the solar eclipse from the spaceAfter two years of work, doctoral students from BUT managed to complete a test "mini-satellite", the so-called Cubesat. Part of the development was also the search for the mission for which the device will be used. …