Julian Sutherland
Julian Sutherland led Nethermind's formal verification team, developing formal methods for checking blockchain software. Sutherland completed a PhD at Imperial College researching termination verification for concurrent software using separation logic.