Nationality United States Known for Termination analysis | Name Byron Cook Role Computer scientist | |
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
References
Byron Cook (computer scientist) Wikipedia(Text) CC BY-SA