Byron Cook (computer scientist)

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search
Dr. Byron Cook
NationalityUnited States
Occupationcomputer science researcher
Known forTermination analysis

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]

Awards and Prizes[edit]

In 2009, Cook won the Roger Needham Award. His public lecture was on "Proving that programs eventually do something good".[4]


  1. ^ "University College London".
  2. ^ "T2 project website". Archived from the original on 2015-06-26.
  3. ^ "SLAyer project website". Archived from the original on 2008-12-08.
  4. ^ Roger Needham Award at BCS website

External links[edit]