Miroslav Řezanina

Software Engineering at Red Hat

Czechia
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

👤
Senior
🎓
Top School
Miroslav Řezanina is a software engineer with 16 years of experience specializing in virtualization, databases, C++ and XML, currently working on the Xen platform in Red Hat’s Virtualization group. He has a strong background in test automation and QA, contributing meaningful patches to the well-known autotest project to improve Linux VM testing, libvirt/xen integrations, and Python compatibility. Earlier roles as a C/C++ developer at ANF Data solidified his systems-level expertise and pragmatic approach to reliability. Based in Czechia and educated in informatics at Masaryk University, he combines hands-on implementation skills with a focus on automated, reproducible testing. Colleagues rely on him for solving tricky VM configuration and unattended-installation problems that often surface only under real-world conditions.
code16 years of coding experience
job3 years of employment as a software developer
bookNone, Informatics, None, Informatics at Masarykova univerzita Fakulta informatiky
languagesEnglish, japonština
stackoverflow-logo

Stackoverflow

Stats
1reputation
0reached
0answers
0questions
github-logo-circle

Github Skills (16)

c1710
libvirt10
automated-tests10
linux10
xen10
c1110
emulation10
python10
s390x10
qemu10
virtualization10
testing10
gcc9
warnings9
compiler-errors9

Programming languages (4)

ShellCGoPython

Github contributions (5)

github-logo-circle
autotest/autotest

Feb 2012 - Sep 2012

Autotest - Fully automated tests on Linux
Role in this project:
userQA Engineer / Test Automation Engineer
Contributions:17 commits in 7 months
Contributions summary:Miroslav primarily contributed to the automated testing framework for the autotest project. Their commits focused on enhancing the testing capabilities, including adding new tests (e.g., SCSI and guest removal), and fixing existing test behaviors related to unattended installations and virtual machine configurations, particularly within the context of libvirt and xen. The user also addressed compatibility issues related to Python versions and updated configuration files.
pythontest-automationtestinglinuxautomated-tests
dgibson/qemu

Mar 2012 - Dec 2019

Contributions:1602 commits in 7 years 9 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.
Request Free Trial
Miroslav Řezanina - Software Engineering at Red Hat