Michael Mraka

Principal Software Engineer 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

🤩
Rockstar
Michael Mraka is a Principal Software Engineer with 18 years of experience building and maintaining system- and software-management solutions, currently leading architecture and delivery at Red Hat. He specializes in Red Hat Enterprise Linux, Oracle RDBMS, high-availability database clusters, provisioning and monitoring, and security compliance management, with hands-on expertise in packaging and kernel drivers. A longtime contributor to major open-source projects, he has implemented key backend features for the dnf package manager and Uyuni’s remote execution and errata subsystems, demonstrating strong Python and database-schema skills. Michael holds multiple Red Hat certifications (RHCSS, RHCDS, RHCVA, RHCA) and blends deep operational knowledge with pragmatic engineering to solve complex, auditable infrastructure problems. Colleagues rely on him for stabilizing mission-critical systems and for translating compliance and billing requirements into reliable, production-ready software.
code18 years of coding experience
github-logo-circle

Github Skills (17)

python10
package-management10
dnf10
system-management10
command-line-interface9
java9
linux9
command-line9
javas9
cli9
database8
database-administration8
databases8
admin8
postgresql8

Programming languages (10)

JavaC++ShellCGherkinJavaScriptGoHTML

Github contributions (5)

github-logo-circle
uyuni-project/uyuni

Jan 2010 - Mar 2020

Source code for Uyuni
Role in this project:
userBack-end Developer
Contributions:1228 commits in 10 years 3 months
Contributions summary:Michael primarily contributed to the back-end aspects of the Uyuni project. Their work focused on implementing features related to remote command execution, and errata management within the system. The commits demonstrate interactions with database schema, and code changes focused on system management tasks. Additionally, the user addressed issues related to user authentication and channel management, indicating a strong involvement in the core functionality of Uyuni.
spring-bootpythonuyunisuse-managerlinux
rpm-software-management/dnf

Feb 2015 - Feb 2017

Package manager based on libdnf and libsolv. Replaces YUM.
Role in this project:
userBack-end Developer
Contributions:176 commits, 69 PRs, 38 pushes in 2 years 1 month
Contributions summary:Michael contributed to the `dnf` package manager, primarily focusing on implementing and refactoring features related to the `autoremove` functionality. They modified core files like `dnf/base.py` and `dnf/cli/commands/autoremove.py` to reuse existing functions and implement the `list autoremove` command. Furthermore, the user updated and added documentation to reflect the new features. The contributions demonstrate proficiency in Python and the project's core components.
pythonrpmpackage-managerlinuxyum
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
Michael Mraka - Principal Software Engineer at Red Hat