Paolo Bonzini
Distinguished Engineer (Software Engineer) at Red Hat
Milan, Lombardy, Italy
Summary
🤩
Rockstar🎓
Top SchoolPaolo Bonzini is a Distinguished Engineer with 26 years of experience, currently leading long-term virtualization and storage work at Red Hat and collaborating across vendors and open-source communities. He combines deep low-level systems expertise—demonstrated by contributions to QEMU, KVM, the Linux kernel and userspace RCU—with a strong focus on testability and build/test automation (Avocado, Meson, tp-qemu). Paolo holds a Ph.D. in computer science for work that bridged combinatorial algorithms and compiler design for customizable ISAs, and he brings that research rigor to pragmatic engineering decisions. He mentors engineers, chairs technical programs like KVM Forum, and helps partners upstream production features. Notably, he maintains Windows drivers for Xen guests and has improved emulation and memory-management across x86, RISC-V and arm64 in widely used projects such as QEMU and the Linux kernel. Based in Milan, he blends academic depth, long-standing open-source stewardship, and practical product-minded engineering.
26 years of coding experience
4 years of employment as a software developer
M.Sc., Computer Science Engineering, M.Sc., Computer Science Engineering at Politecnico di MilanoPh.D. Student, Computer Science, Ph.D. Student, Computer Science at USI Università della Svizzera italiana
English, Italian, Czech
Stackoverflow
1,910reputation
184kreached
61answers
2questions
Github Skills (80)
kvm10
controller10
python10
computer-architecture10
atomics10
testing10
firmware10
low-level10
svm10
c1110
perl10
glib10
c1710
low-level-programming10
vms10
Programming languages (20)
Github contributions (5)
sahlberg/libiscsi
Sep 2011 - Oct 2018
iscsi client library and utilities
Role in this project:
Back-end Developer
Back-end DeveloperContributions:53 commits, 5 PRs, 1 comment in 7 years 1 month
Contributions summary:Paolo primarily focused on improving the reliability and maintainability of the `libiscsi` library. Their contributions include fixing various compiler warnings related to enums, sign comparisons, uninitialized variables, and switch statements. They also updated the build process by integrating automake and libtool, enhancing portability. Furthermore, the user addressed potential issues with pointer alignment and memory handling, ensuring safer code practices.
iscsi
git/git
Feb 2007 - Jun 2020
Git Source Code Mirror - This is a publish-only repository but pull requests can be turned into patches to the mailing list via GitGitGadget (https://gitgitgadget.github.io/). Please follow Documentation/SubmittingPatches procedure for any of your improvements.
Role in this project:Back-end Developer
Back-end DeveloperContributions:38 commits in 13 years 6 months
Contributions summary:Paolo primarily contributed to the `git/git` repository by enhancing the functionality of `git-send-email` and `git-am`. They focused on adding new options like `--transfer-encoding` and `--message-id`, improving the handling of MIME headers and content transfer encodings for email patches. Furthermore, they modified the `git-mailinfo` and `interpret-trailers` scripts to provide more flexibility in handling trailers and message IDs. These changes aim to improve the process of sending and applying patches via email.
codemirrorcshell
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.