Byron Cook (computer scientist)
 | This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these messages)
No issues specified. Please specify issues, or remove this template. |
Dr. Byron Cook is a computer science researcher at Microsoft's laboratory[1] at Cambridge University and full professor of computer science at Queen Mary, University of London.[2] 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,[3] and
- Discovering invariants regarding mutable data structures.[4]