Matches in DBpedia 2016-04 for { ?s ?p "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 Proving properties of biological models, Termination and liveness proving, and Discovering invariants regarding mutable data structures.↑ ↑ ↑"@en }
Showing triples 1 to 4 of
4
with 100 triples per page.
- Byron_Cook_(computer_scientist) abstract "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 Proving properties of biological models, Termination and liveness proving, and Discovering invariants regarding mutable data structures.↑ ↑ ↑".
- Q5004332 abstract "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 Proving properties of biological models, Termination and liveness proving, and Discovering invariants regarding mutable data structures.↑ ↑ ↑".
- Byron_Cook_(computer_scientist) comment "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 Proving properties of biological models, Termination and liveness proving, and Discovering invariants regarding mutable data structures.↑ ↑ ↑".
- Q5004332 comment "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 Proving properties of biological models, Termination and liveness proving, and Discovering invariants regarding mutable data structures.↑ ↑ ↑".