Byron Cook (computer scientist)

Dr. Byron Cook is an American computer science researcher at University College London.^[1] 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,^[2] and
• Discovering invariants regarding mutable data structures.^[3]