Siddhesh Joshi (Editor)

Byron Cook (computer scientist)

Updated on
Edit
Like
Comment
Share on FacebookTweet on TwitterShare on LinkedInShare on Reddit
Nationality
  
United States

Known for
  
Termination analysis


Name
  
Byron Cook

Role
  
Computer scientist

Byron Cook (computer scientist) www0csuclacukstaffbcookbyronjpg

Occupation
  
computer science researcher

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

Byron Cook (computer scientist) Dr Byron Cook Geek of the Week Simple Talk

  • Proving properties of biological models,
  • Termination and liveness proving, and
  • Discovering invariants regarding mutable data structures.
  • References

    Byron Cook (computer scientist) Wikipedia