ppenna

Follow

Pedro Henrique Penna ppenna

Follow

Senior Research Software Engineer @MicrosoftResearch

262 followers · 14 following

@microsoft
Redmond, USA
00:19 (UTC -07:00)
https://www.microsoft.com/en-us/research/people/ppenna
https://orcid.org/0000-0003-3617-2915
in/pedrohenriquepenna

Achievements

Achievements

ppenna/README.md

Hello, World! 👋

😃 I'm a Research Software Engineer at Microsoft Research
🔨 I’m currently working on Nanvix - A Microkernel Research Operating System
🔭 I have expertise in Distributed Operating Systems
📫 Reach me by sending an e-mail to ppenna@microsoft.com

Pinned Loading

nanvix/nanvix nanvix/nanvix Public

Lightweight Sandbox Powered by a Purpose-Built VM and OS

Rust 285 114
microsoft/nvx microsoft/nvx Public

Cross-Platform Micro-VM Sandbox for Agentic Workloads

Python 8 3
opencode opencode Public

Forked from anomalyco/opencode

The open source coding agent.

TypeScript
nanvix/distro nanvix/distro Public

Navix OS Distribution

Python 2