peoplepill id: byron-cook
BC
1 views today
1 views this week
The basics
Quick Facts
Intro
British computer scientist
Places
Work field
Gender
Male
The details (from wikipedia)
Biography
Dr. Byron Cook is an American computer science researcher at University College London.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, and
- Discovering invariants regarding mutable data structures.
Awards and Prizes
In 2009, Cook won the Roger Needham Award.His public lecture was on "Proving that programs eventually do something good".
Cook was elected as a Fellow of the Royal Academy of Engineers in 2019.
The contents of this page are sourced from Wikipedia article.
The contents are available under the CC BY-SA 4.0 license.
Lists
Byron Cook is in following lists
By field of work
By work and/or country
By category
comments so far.
Comments
Credits
References and sources
Byron Cook