Pedro Henrique Penna
Software Engineer at microsoft
Redmond, Washington, United States
Summary
🤩
RockstarPedro Henrique Penna is a Software Engineer with 11 years of experience, currently a Senior Research Software Engineer at Microsoft Research in Redmond. He focuses on backend and DevOps work, contributing to high-performance systems such as the kernel-bypass LibOS project Demikernel, where he improved build reliability across Debian environments and tightened API integrations. Comfortable operating at the intersection of research and production, he has a knack for fixing subtle dependency and build-system issues that unlock reproducible developer workflows. Colleagues rely on him for pragmatic refactors that make complex low-level codebases more maintainable and portable.
11 years of coding experience
Github Skills (10)
sh10
script10
build-system10
shell10
scripting10
debian10
c119
api9
c179
apim9
Programming languages (7)
Github contributions (5)
microsoft/demikernel
Jun 2021 - Jan 2023
Kernel-Bypass LibOS Architecture
Role in this project:
Backend & DevOps Engineer
Backend & DevOps EngineerContributions:9 releases, 1275 reviews, 910 commits in 1 year 7 months
Contributions summary:Pedro primarily contributed to the Demikernel project by addressing build-related issues and enhancing the build system. Their work involved fixing bugs related to missing dependencies like Python3, Pkg-Config, and Clang++, along with refactoring and updating setup scripts, specifically for Debian systems. Furthermore, the user made improvements to the integration of APIs within the codebase, and added C headers.
spdkkernellinuxdpdkbypass
lapesd/libgomp
May 2016 - Jan 2018
Contributions:2 releases, 6 PRs, 102 pushes in 1 year 7 months
openmp
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.