Julian Sutherland is Head of Formal Verification at Nethermind, where he leads a team of researchers and engineers building machine-checked proofs for zero-knowledge virtual machines and other critical blockchain infrastructure. His work focuses on applying formal methods to improve correctness, security, and reliability in production cryptographic systems.

Julian holds a PhD from Imperial College London, where his research focused on logics for program verification. His academic work spans program analysis, type theory, and mathematical logic, and he has published in leading conferences and journals in formal methods and programming languages.

Before joining Nethermind, Julian gained industry experience through engineering internships at Google, Microsoft, and Facebook, working on large-scale systems and static analysis tooling. At Nethermind, he works at the intersection of research and real-world deployment, helping advance formal verification for zero-knowledge systems and Ethereum infrastructure.

‍