Red Hat Research Quarterly
Explore Research
News and Events
- News
- Events
Blog

Ondřej Vašík

Senior Engineering Manager

Research Areas

Testing and Ops

Partner Universities

Brno University of Technology

Related Projects

AUFOVER: The Automation of Formal Verification

LEARN

ENGAGE

ABOUT

Red Hat Research connects Red Hat engineers with professors, researchers, and students to bring great research ideas into open source communities. Our activities around the world have produced grants from government and industry, papers at top conferences, and results that have landed in open source projects of all kinds. Red Hat Research welcomes participation from research-minded individuals around the world.

Copyright © 2026 Red Hat

Privacy statement

All policies and guidelines