Research
![]() |
Networked and distributed systems We investigate new design principles in datacenter system design and operation.
|
![]() |
Security We develop systems to protect users' data and activities using a variety of approaches.
|
![]() |
Privacy We use modern privacy-preserving methods to provide new guarantees to current system design paradigms.
|
![]() |
Software engineering for systems We research processes, techniques, and tools to help engineer complex systems.
|