We invite you to the dissertation defence of Martin Hruška

We cordially invite you to the dissertation defence of Ing. Ing. Martin Hruška entitled Automata in Software Verification and Testing. Under the supervision of the supervisor Professor Tomáš Vojnar and the specialist supervisor Associate Professor Lukáš Holík, he deals with applications of the theory of finite automata in software quality assurance. The first part deals with the application of automata in formal program verification working with dynamic data structures, followed by their application to automated testing of production information systems in a digital twin environment. 

The defense will take place on March 5 at 1 pm in meeting room C209 at the FIT BUT.