PASS Data Community Summit logo

PASS Data Community Summit 2023

Get all the latest announcements direct to your inbox

Articles tagged byron cook

27 September 2010
27 September 2010

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 new computer locked up with what turned out to be a faulty driver. The result was TERMINATOR, the first practical tool for automatically proving that any application would always terminate.… Read more