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 Oronsay (talk | contribs) at 18:24, 25 February 2025 (→Awards and Prizes: corrected name and added better ref for FREng). 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 Engineering 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. ^ "Byron Cook". Royal Academy of Engineering. Retrieved 25 February 2025.
[edit]
Retrieved from "https://en.wikipedia.org/w/index.php?title=Byron_Cook_(computer_scientist)&oldid=1277616143"