[go: nahoru, domu]
Jump to content

Byron Cook (computer scientist)

Add links
From Wikipedia, the free encyclopedia

This is the current revision of this page, as edited by BattyBot (talk | contribs) at 08:14, 31 January 2023 (→‎top: General fixes, replaced: | nationality = United States | → | nationality = American |). The present address (URL) is a permanent link to this version.

(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

Dr. Byron Cook
NationalityAmerican
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]

Cook was elected as a Fellow of the Royal Academy of Engineers in 2019.[5]

References[edit]

  1. ^ "University College London".
  2. ^ "T2 project website". Archived from the original on 26 June 2015.
  3. ^ "SLAyer project website". Archived from the original on 8 December 2008.
  4. ^ Roger Needham Award at BCS website
  5. ^ Amazon Web Services blog

External links[edit]

Retrieved from "https://en.wikipedia.org/w/index.php?title=Byron_Cook_(computer_scientist)&oldid=1136625133"