Dr Byron Cook: Geek of the Week

On moving to Cambridge University after developing the SLAM model checker used by Microsoft's Static Driver Verifier, Dr Bryan Cook's...