Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Byron_Cook_(computer_scientist)> ?p ?o }
Showing triples 1 to 63 of
63
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.↑ ↑ ↑".
- Byron_Cook_(computer_scientist) knownFor Termination_analysis.
- Byron_Cook_(computer_scientist) nationality United_States.
- Byron_Cook_(computer_scientist) occupation Byron_Cook_(computer_scientist)__1.
- Byron_Cook_(computer_scientist) stateOfOrigin United_States.
- Byron_Cook_(computer_scientist) wikiPageExternalLink b.cook.
- Byron_Cook_(computer_scientist) wikiPageID "33258732".
- Byron_Cook_(computer_scientist) wikiPageLength "2128".
- Byron_Cook_(computer_scientist) wikiPageOutDegree "11".
- Byron_Cook_(computer_scientist) wikiPageRevisionID "668737006".
- Byron_Cook_(computer_scientist) wikiPageWikiLink Automated_theorem_proving.
- Byron_Cook_(computer_scientist) wikiPageWikiLink Category:British_computer_scientists.
- Byron_Cook_(computer_scientist) wikiPageWikiLink Category:Living_people.
- Byron_Cook_(computer_scientist) wikiPageWikiLink Category:Year_of_birth_missing_(living_people).
- Byron_Cook_(computer_scientist) wikiPageWikiLink Computer_science.
- Byron_Cook_(computer_scientist) wikiPageWikiLink Formal_verification.
- Byron_Cook_(computer_scientist) wikiPageWikiLink Operating_system.
- Byron_Cook_(computer_scientist) wikiPageWikiLink Program_analysis.
- Byron_Cook_(computer_scientist) wikiPageWikiLink Termination_analysis.
- Byron_Cook_(computer_scientist) wikiPageWikiLink United_States.
- Byron_Cook_(computer_scientist) wikiPageWikiLink University_College_London.
- Byron_Cook_(computer_scientist) wikiPageWikiLinkText "Byron Cook (computer scientist)".
- Byron_Cook_(computer_scientist) knownFor Termination_analysis.
- Byron_Cook_(computer_scientist) name "Cook, Byron".
- Byron_Cook_(computer_scientist) name "Dr. Byron Cook".
- Byron_Cook_(computer_scientist) nationality United_States.
- Byron_Cook_(computer_scientist) occupation "computer science researcher".
- Byron_Cook_(computer_scientist) shortDescription "British computer scientist".
- Byron_Cook_(computer_scientist) wikiPageUsesTemplate Template:BLP_sources.
- Byron_Cook_(computer_scientist) wikiPageUsesTemplate Template:Infobox_person.
- Byron_Cook_(computer_scientist) wikiPageUsesTemplate Template:Persondata.
- Byron_Cook_(computer_scientist) wikiPageUsesTemplate Template:Reflist.
- Byron_Cook_(computer_scientist) description "British computer scientist".
- Byron_Cook_(computer_scientist) description "British computer scientist".
- Byron_Cook_(computer_scientist) subject Category:British_computer_scientists.
- Byron_Cook_(computer_scientist) subject Category:Living_people.
- Byron_Cook_(computer_scientist) subject Category:Year_of_birth_missing_(living_people).
- Byron_Cook_(computer_scientist) hypernym Researcher.
- Byron_Cook_(computer_scientist) type Agent.
- Byron_Cook_(computer_scientist) type List.
- Byron_Cook_(computer_scientist) type Person.
- Byron_Cook_(computer_scientist) type Scientist.
- Byron_Cook_(computer_scientist) type Person.
- Byron_Cook_(computer_scientist) type List.
- Byron_Cook_(computer_scientist) type Scientist.
- Byron_Cook_(computer_scientist) type Agent.
- Byron_Cook_(computer_scientist) type NaturalPerson.
- Byron_Cook_(computer_scientist) type Thing.
- Byron_Cook_(computer_scientist) type Q215627.
- Byron_Cook_(computer_scientist) type Q5.
- Byron_Cook_(computer_scientist) type Person.
- 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.↑ ↑ ↑".
- Byron_Cook_(computer_scientist) label "Byron Cook (computer scientist)".
- Byron_Cook_(computer_scientist) sameAs Q5004332.
- Byron_Cook_(computer_scientist) sameAs m.0h7nt6n.
- Byron_Cook_(computer_scientist) sameAs Q5004332.
- Byron_Cook_(computer_scientist) wasDerivedFrom Byron_Cook_(computer_scientist)?oldid=668737006.
- Byron_Cook_(computer_scientist) givenName "Byron".
- Byron_Cook_(computer_scientist) isPrimaryTopicOf Byron_Cook_(computer_scientist).
- Byron_Cook_(computer_scientist) name "Byron Cook".
- Byron_Cook_(computer_scientist) name "Cook, Byron".
- Byron_Cook_(computer_scientist) name "Dr. Byron Cook".
- Byron_Cook_(computer_scientist) surname "Cook".