Byron Cook (computer scientist)

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

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

  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.
This page is issued from Wikipedia. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.