The future is distributed, cross-domain, full of complex trust and failure tolerance, and that’s where I want to be. My research is primarily in distributed systems, with emphasis on security and heterogeneous trust. I design distributed protocols and algorithms with strong guarantees, real implementations, and broad applications from medical privacy to blockchains.
I am a Senior Research Scientist working with heliax, where I am product lead for Typhon, a next-generation heterogeneous consensus protocol. Typhon aims to enable fast and final commitments for blockchains with thousands of validators, as well as Chimera chains, a new technique for multi-chain atomic transactions with atomicity guarantees. Typhon is built on a version of Heterogeneous Paxos, which we are specifying (and formally verifying) in TLA+.
Ph.D. in Computer Science, 2019
MSc in Computer Science, 2016
BSc in Computer Science, 2012
California Institute of Technology
I am working with Peter Druschel on the future of distributed systems.
I worked with Peter Druschel, Deepak Garg, Roberta De Viti, and many others on the ProLoc and CoVault projects, which seek to answer 4 questions: