TechFest 2007 – Automatically Proving Concurrent Programs Correct

  • Byron Cook | Microsoft Research
Speaker Details

Dr. Byron Cook is researcher at Microsoft’s laboratory at Cambridge University. He is also a visiting professor at Chalmers University and at Queen Mary, University of London. Byron’s research interests include automatic formal software verification, automatic theorem proving, and programming language theory. Byron has recently been working on automatic tools for proving program termination and tools for proving properties about data structures. Byron is one of the developers behind the SLAM software model checker. SLAM is now used in a Windows product called Static Driver Verifier, which automatically finds bugs in Windows OS device drivers. Before joining Microsoft, Byron worked at Prover Technology, where he investigated new algorithms for use in SAT solvers and symbolic model checking tools. Byron’s PhD is from OGI.For more information about Dr. Cook, see http://research.microsoft.com/~bycook

    • Portrait of Byron Cook

      Byron Cook

    • Portrait of Jeff Running

      Jeff Running

Watch Next