Beraldo Leal
Principal Software Engineer at Red Hat
Old Toronto, Ontario, Canada
Summary
🤩
Rockstar🎓
Top SchoolBeraldo Leal is a Principal Software Engineer with 16 years of experience specializing in virtualization, systems, networking, and container technologies. Based in Toronto and currently at Red Hat, he has deep hands‑on expertise with QEMU, Libvirt, Kata Containers and cloud-native tooling, consistently improving reliability and cross‑platform behavior in production runtimes. His background spans building an open SDN platform (Kytos) from scratch to a community project, leading high‑performance research infrastructure work for GridUNESP and CERN collaborations, and shipping robust back‑end and DevOps fixes for projects like Kata Containers and Avocado VT. He blends low‑level systems thinking with pragmatic Python engineering and DevOps automation, often tackling race conditions, CI/CD flakiness, and hardware-specific edge cases. Outside work he crafts instruments as a luthier, reflecting a hands‑on, detail‑oriented mindset that surfaces both in code and craft.
17 years of coding experience
15 years of employment as a software developer
Bachelor’s Degree, Information systems, Bachelor’s Degree, Information systems at Universidade PotiguarMaster’s Degree, Computer Science, Master’s Degree, Computer Science at USP - Universidade de São Paulo
English, Spanish, Portuguese
Github Skills (14)
logging10
container10
go10
python10
qemu10
virtualization10
testing10
kvm9
test-framework9
docker8
kubernetes8
kubernetes-pods8
dockers8
devops8
Programming languages (13)
Github contributions (5)
avocado-framework/avocado-vt
Mar 2020 - Oct 2021
Avocado VT Plugin
Role in this project:
Backend Developer
Backend DeveloperContributions:36 reviews, 7 commits, 5 PRs in 1 year 7 months
Contributions summary:Beraldo primarily focused on fixing bugs and improving the Avocado VT plugin's core functionality. Their contributions involved correcting import statements, resolving CI/CD issues, and refactoring logging to align with the project's new namespace conventions. They also made changes to example tests, particularly related to logging and service management. This indicates a focus on maintaining and improving the reliability and maintainability of the virtual testing framework.
plugin
kata-containers/kata-containers
Apr 2023 - Dec 2025
Kata Containers is an open source project and community working to build a standard implementation of lightweight Virtual Machines (VMs) that feel and perform like containers, but provide the workload isolation and security advantages of VMs. https://katacontainers.io/
Role in this project:Back-end & DevOps Engineer
Back-end & DevOps EngineerContributions:111 reviews, 18 PRs, 2 pushes in 2 years 8 months
Contributions summary:Beraldo contributed to the Kata Containers project by addressing runtime and testing issues, indicating a focus on improving the core functionality and reliability of the virtual machine implementation. They fixed race conditions in QEMU shutdown procedures and corrected CPU type checks for AMD machines, ensuring proper operation across different hardware architectures. Additionally, the user refactored the protocol build process by modifying build scripts to improve readability, and streamlining the build process.
kata-containerssecurityvirtual-machinekvmvirtualization
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.