Leonardo Passos
Senior Software Engineer - Linux Kernel at Arm
United Kingdom
Summary
👤
Senior🎓
Top SchoolLeonardo Passos is a Senior Software Engineer specializing in Linux kernel and low-level C development with over a decade of professional experience and 6+ years focused on kernel work across PowerPC, RISC-V, real-time, and KVM. He has driven improvements in Linux and QEMU for live migration, real-time workloads, and architecture-specific issues, blending deep computer-architecture knowledge with practical fixes and features in virtualization stacks. Earlier work in embedded freestanding C on ARM Cortex-M and firmware for automotive and optical systems gives him rare end-to-end systems insight from silicon to hypervisor. A Master’s-level researcher who enjoys dissecting Linux internals, he is known for proposing pragmatic kernel improvements and for finding elegant, low-level solutions that prevent guest crashes and enable zero-copy migration. Based in the UK, he brings a mix of academic rigor and hands-on engineering that surfaces subtle cross-layer bugs before they reach production.
9 years of coding experience
13 years of employment as a software developer
Electrical Engineer Automation and Power Systems, Electrical Engineer Automation and Power Systems at USP - Universidade de São PauloMaster of Science - MS Computer Science, Master of Science - MS Computer Science at Universidade Estadual de CampinasMachanics Technician Industrial Mechanics, Machanics Technician Industrial Mechanics at Industrial School - Centro Paula Souza
Portuguese, English, Spanish
Github Skills (45)
opencv10
python10
image-processing10
deep-learning10
computer-vision10
clipboard10
cpp8
clipboard-manager8
text-editor8
rust-lang7
cmake7
kernel5
manjaro5
linux-kernel5
zen5
Programming languages (5)
Github contributions (5)
LeoBras/linux-ppc
Sep 2019 - Apr 2021
Linux for Powerpc mirror
Contributions:2 PRs, 38 pushes, 56 branches in 1 year 8 months
linuxpowerpc
LeoBras/GPaste
Jun 2024 - Oct 2024
Clipboard management system
Contributions:1 push, 1 branch in 4 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.