Pedro Henrique Penna

À propos

I build operating systems (opens in new tab).

I earned my PhD Degree in Computer Science from Université Grenoble Alpes (UGA) and from Pontifícia Universidade Católica de Minas Gerais (PUC Minas) in 2021. During my thesis, I devised a distributed operating system for lightweight manycore processors.

In 2017, I received my MSc Degree in Computer Science from Universidade Federal de Santa Catarina (UFSC). In 2015, I earned my BSc Degree in Computer Science from Pontifícia Universidade Católica de Minas Gerais (PUC Minas) with Summa Cum Laude honors and Featured Computer Science Student Award by the Brazilian Computer Society (SBC).

Currently, I work as Senior Research Software Engineer at Microsoft Research in the systems Research Group.

I have over than 10 years of experience in research, design and development of computing systems. I have expertise in Operating Systems, Distributed Systems Embedded Systems, Parallel Programming and High-Performance Computing.