I am a systems researcher with a focus on correctness, distributed systems, and security.
My research is focused on consistent distributed systems that provide a foundation for writing correct, scalable applications. I work at the intersection of system design and specification, applying techniques and tools that increase confidence in the correctness of critical systems.
On one front, I'm pushing forward the practicality of tools for verified implementations: Our team is verifying a high-performance file system that wasn't designed to be verified.
On another front, I'm working with VMware engineers to apply protocol verification to product problems. That involves improving the languages, tools, and training techniques and materials.
I also study new policies and applications that distributed systems design can enable, as relevant policies are much scarcer than new mechanisms.
I am teaching Distributed Systems at U. Washington in Spring 2019.
I'm serving as co-chair for OSDI 2020.