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

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

  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
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.