Matches in DBpedia 2014 for { ?s ?p Dr. Byron Cook is an American computer science researcher at Microsoft's laboratory at Cambridge University and full professor of computer science at University College London. Byron's research interests include program analysis/verification, programming languages, theorem proving, logic, hardware design, and operating systems.. }
Showing items 1 to 1 of
1
with 100 items per page.
- Byron_Cook_(computer_scientist) comment "Dr. Byron Cook is an American computer science researcher at Microsoft's laboratory at Cambridge University and full professor of computer science at University College London. Byron's research interests include program analysis/verification, programming languages, theorem proving, logic, hardware design, and operating systems.".