Isaac Sheff

Isaac Sheff is a Senior Research Scientist at Heliax and former Postdoctoral Researcher at the Max Planck Institute for Software Systems. His research focuses on distributed systems, consensus protocols, and formal verification, with applications to blockchain technology.

He leads development of Typhon, a next-generation heterogeneous consensus protocol enabling fast finality and multi-chain atomic transactions. His work combines theoretical foundations with practical implementations in Haskell and Coq.

Publications demonstrate his contributions to program logics (Iris, Melocoton), consensus algorithms (Heterogeneous Paxos), and distributed data structures (Charlotte). His research consistently bridges formal methods, distributed systems, and security.

He has collaborated on projects including ProLoc and CoVault that develop privacy-preserving location proofs and secure analytics platforms using distributed systems principles.