Pedro Fonseca
Postdoctoral Research Associate
Computer Science & Engineering
University of Washington


My research focuses on building systems that are both reliable and secure. In particular, during the last years, I have 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.

I tackle this problem from three directions:

Recently I have been spending most of my time at the UW Computer Systems Lab working with Hank Levy, Arvind Krishnamurthy, and Xi Wang. I graduated from MPI-SWS and the University of Saarland working with Rodrigo Rodrigues. Not long ago, I also had the chance to closely collaborate with Andrew Baumann, Pramod Bhatotia, Björn Brandenburg, Joao Carreira, Cheng Li, and Kaiyuan Zhang.



CSE 591/336
Allen Center
Mail address:
Pedro Fonseca
University of Washington
Computer Science & Engineering
Box 352350
Seattle, WA 98195-2350
pfonseca at