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.