Byron Cook: Short biography

Dr. Byron Cook is researcher at Microsoft's laboratory at Cambridge University and (full) professor of computer science at Queen Mary, University of London. Dr. Cook's research interests include topics in program verification, theorem proving, and programming languages.

In recent years Dr. Cook has been working on program termination (see the TERMINATOR website), shape analysis (see the SLAyer website), and software model checking (see the SLAM website). Dr. Cook is one of the developers behind the Windows products called Static Driver Verifier, which attempts to automatically prove the correctness of Windows OS device drivers with respect to a fixed set of safety properties.

Before joining Microsoft, Dr. Cook worked at Prover Technology, where he investigated new algorithms for use in SAT solvers and symbolic model checking tools. Dr. Cook's PhD is from OGI.

For more information about Dr. Cook, see http://research.microsoft.com/~bycook.