Julian Sutherland

Julian Sutherland holds a Doctor of Philosophy (Ph.D.) in Logics for Program Verification and has extensive experience in software engineering and formal verification. Currently serving as the Head of Formal Verification at Nethermind since October 2021, Julian has previously interned at prominent companies including Facebook, where involvement was with the infer static analysis team, Google on the Chromium Enterprise Team, and Microsoft as an Intern SDET. Julian's academic background includes a Master's degree in Computer Science Research and a Joint Master's Degree in Mathematics and Computer Science, both obtained from Imperial College London.