Explore Research
Projects
People
Partnerships
Publications
Get Involved
Join a Research Interest Group
Mentor a student
Internships
Suggest a Project
Theses
News and Events
News
Events
Research Days
Blog
Courses
Magazine
Ondřej Vašík
Senior Engineering Manager
View people
Research Areas
Testing and Ops
RIG(s)
Europe
Partner Universities
Brno University of Technology
Related Projects
AUFOVER – The Automation of Formal Verification