Jump to content

Byron Cook (computer scientist)

Add links
From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Tom.Reding (talk | contribs) at 21:14, 19 April 2018 (+{{Authority control}}, WP:GenFixes on, using AWB). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
Dr. Byron Cook
NationalityUnited States
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]

References

  1. ^ "University College London".
  2. ^ "T2 project website". Archived from the original on 2015-06-26. {{cite web}}: Unknown parameter |deadurl= ignored (|url-status= suggested) (help)
  3. ^ "SLAyer project website". Archived from the original on 2008-12-08. {{cite web}}: Unknown parameter |deadurl= ignored (|url-status= suggested) (help)
Retrieved from "https://en.wikipedia.org/w/index.php?title=Byron_Cook_(computer_scientist)&oldid=837282505"