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