Byron Cook

Who is Byron Cook?

Dr. Byron Cook is a British computer science researcher at Microsoft's laboratory at Cambridge University and full professor of computer science at University College London. Byron's research interests include program analysis/verification, programming languages, theorem proving, logic, hardware design, and operating systems. Byron's recent work has been focused on the development of automatic tools for

⁕Proving properties of biological models,

⁕Termination and liveness proving, and

⁕Discovering invariants regarding mutable data structures.