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."@en }
Showing triples 1 to 1 of
1
with 100 triples 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.".