Edge Rewrite
everything Source code View original
// HTMLRewriter · presentation

This page was redesigned at the edge.

Cloudflare fetched the original article and streamed it through HTMLRewriter to apply an entirely new visual system without rebuilding the source page.

// request.cf · coarse context

A page that knows where it met you.

Only coarse request metadata is shown. This demo does not display or persist visitor IP addresses.

Country
US
Cloudflare location
CMH
Connection
HTTP/2
Language
Not provided

Ray ID: a259fecb3c5ac125

Jump to content

Byron Cook (computer scientist)

Add links
From Wikipedia, the free encyclopedia

Dr. Byron Cook
Occupationcomputer science researcher
Known forTermination 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 Engineering in 2019.[5]

References

[edit]
  1. ↑ "University College London".
  2. ↑ "T2 project website". Archived from the original on 26 June 2015.
  3. ↑ "SLAyer project website". Archived from the original on 8 December 2008.
  4. ↑ Roger Needham Award at BCS website
  5. ↑ "Byron Cook". Royal Academy of Engineering. Retrieved 25 February 2025.
[edit]
Retrieved from "https://en.wikipedia.org/w/index.php?title=Byron_Cook_(computer_scientist)&oldid=1341672076"