Mass Open Cloud
Explore Research
- Partnerships
- Publications
News and events
Blog
Magazine

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

Masters’ Theses

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 © 2025 Red Hat, Inc.

Privacy statement

All policies and guidelines