Byron Cook (computer scientist)
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]
Dr. Byron Cook | |
|---|---|
| Nationality | United States |
| Occupation | computer science researcher |
| Known for | Termination analysis |
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]
gollark: Neural interfaces aren't cheap!
gollark: Protocol Delta has been activated.
gollark: I'll remember that in case I launch my own NI viruses.
gollark: Maybe you were using an insecure remote shell and someone somehow noticed and hackerized™ it.
gollark: Hmm. I think potatOS is getting left behind.
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
- [https://aws.amazon.com/blogs/security/aws-security-profile-byron-cook-director-aws-automated-reasoning-group Amazon Web Services blog
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.