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 o jejich 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.
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
Compulsory courses of specialization
These courses are the bare minimum of what you should know if you want to specialize in this field. Therefore, they are mandatory in this specialization. However, we also offer a number of other subjects relevant to your area of interest or suitably supplementing and expanding it. You can enroll in the optional courses.
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?
Jakub Pružinec, an FIT graduate, has been working in the distant Singapore for over two years. At Nanyang Technological University (NTU), he is a research assistant in the HP-NTU Corporate Lab, a new laboratory created in collaboration between the university and HP. "You get a taste of both, the academia and the industry," Jakub Pružinec says.
If you want to found a faculty, you need a notebook. Preferably a lined oneHe has been coming to the building at Božetěchova since 1969. When Tomáš Hruška spent days and nights here working with a mainframe computer as a student at the Faculty of Electrical Engineering in the 1970s, it probably would not have occurred to him that he would one day be the first Dean of the Faculty of Information Technology to be established here. He still remembers founding of FIT as one of the most enjoyable periods of his long career.