Fn5a2752 3 square 1

Principal Researcher

Us Bellevue, WA, US

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. I focus on new policies and applications that distributed systems design can enable, as relevant policies are much scarcer than new mechanisms.

Projects