Byron Cook (computer scientist) explained

Dr. Byron Cook
Nationality:	American
Known For:	Termination analysis
Occupation:	computer science researcher

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

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]

External links

• http://www0.cs.ucl.ac.uk/staff/b.cook/

Notes and References

1. Web site: University College London.
2. Web site: T2 project website . dead . https://web.archive.org/web/20150626172004/http://research.microsoft.com/en-us/projects/t2/ . 2015-06-26 .
3. Web site: SLAyer project website . dead . https://web.archive.org/web/20081208053256/http://research.microsoft.com/SLAyer/ . 2008-12-08 .
4. http://www.bcs.org/server.php?show=nav.5941 Roger Needham Award
5. https://aws.amazon.com/blogs/security/aws-security-profile-byron-cook-director-aws-automated-reasoning-group Amazon Web Services blog