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 RHaworth (talk | contribs) at 20:15, 1 October 2011 (moved Byron Cook (Computer Scientist) to Byron Cook (computer scientist)). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Dr. Byron Cook is a computer science researcher at Microsoft's laboratory[1] at Cambridge University and full professor of computer science at Queen Mary, University of London[2]. 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 [3], and
  • Discovering invariants regarding mutable data structures [4].


References

  1. ^ "Microsoft Research Cambridge".
  2. ^ "Queen Mary, University of London".
  3. ^ "Terminator project website".
  4. ^ "SLAyer project website".
Retrieved from "https://en.wikipedia.org/w/index.php?title=Byron_Cook_(computer_scientist)&oldid=453420074"