At Apple, LinkedIn and now AfterQuery, the Stanford-trained engineer has kept returning to one stubborn question: how do you turn judgment into machinery that can be tested?