Pedro Fonseca

About

Pedro Fonseca's research focuses on building systems that are both reliable and secure. During the last years, he has developed techniques and methodologies that are particularly suited to address this problem in the context of core software systems - the building blocks in modern computing that other software layers critically rely upon, such as operating systems, hypervisors and distributed systems. He tackles this problem from three directions: Gatherin… ↓More