Sponsored Links
 
Topics
Sponsored Links
 
 
Siddhesh Joshi

Byron Cook (computer scientist)

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


    Similar Topics

    Alain Berger (ice hockey)

    Olivia Palermo

    David Sacco

    Fikre Selassie Wogderess

    Rolf McPherson

    Owen Dowling

    Sponsored Links
    B
    i
    Link
    H2
    L