ppenna

Follow

Pedro Henrique Penna ppenna

Follow

Senior Research Software Engineer @MicrosoftResearch

255 followers · 14 following

@microsoft
Redmond, USA
23:18 (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 257 110
playground playground Public

🎮 Algorithms and data structures made simple

C 27 1
playground-rust playground-rust Public

🦀 Learn Rust by examples.

Rust 12 4
nanvix/nanvix-copilot nanvix/nanvix-copilot Public

Blazingly fast, air-gapped AI code execution powered by Nanvix Micro-VMs and the GitHub Copilot SDK

TypeScript 3