Byron Cook (computer scientist)
Jump to navigation
Jump to search
Dr. Byron Cook | |
|---|---|
| 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 | edit source]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 | edit source]- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Roger Needham Award at BCS website
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
External links
[edit | edit source]Lua error in Module:Authority_control at line 153: attempt to index field 'wikibase' (a nil value).