Byron Cook (computer scientist)
Dr. Byron Cook | |
---|---|
Nationality | United States |
Occupation | computer science researcher |
Known for | Termination 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
Awards and Prizes
In 2009, Cook won the Roger Needham Award. His public lecture was on "Proving that programs eventually do something good".[4]
References
- ↑ "University College London".
- ↑ "T2 project website". Archived from the original on 2015-06-26.
- ↑ "SLAyer project website". Archived from the original on 2008-12-08.
- ↑ Roger Needham Award at BCS website
External links
This article is issued from
Wikipedia.
The text is licensed under Creative Commons - Attribution - Sharealike.
Additional terms may apply for the media files.