Byron Cook (computer scientist): Difference between revisions
Appearance
Content deleted Content added
m add {{Use dmy dates}} |
→top: General fixes, replaced: | nationality = United States | → | nationality = American | |
||
Line 12: | Line 12: | ||
| death_date = <!-- {{Death date and age|YYYY|MM|DD|YYYY|MM|DD}} or {{Death-date and age|Month DD, YYYY|Month DD, YYYY}} (death date then birth date) --> |
| death_date = <!-- {{Death date and age|YYYY|MM|DD|YYYY|MM|DD}} or {{Death-date and age|Month DD, YYYY|Month DD, YYYY}} (death date then birth date) --> |
||
| death_place = |
| death_place = |
||
| nationality = |
| nationality = American |
||
| other_names = |
| other_names = |
||
| known_for = [[Termination analysis]] |
| known_for = [[Termination analysis]] |
Latest revision as of 08:14, 31 January 2023
Dr. Byron Cook | |
---|---|
Nationality | American |
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
- 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]
- ^ "University College London".
- ^ "T2 project website". Archived from the original on 26 June 2015.
- ^ "SLAyer project website". Archived from the original on 8 December 2008.
- ^ Roger Needham Award at BCS website
- ^ Amazon Web Services blog