Matches in DBpedia 2015-10 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 Operating_systems.
- Byron_Cook_(computer_scientist) wikiPageWikiLink Program_analysis.
- Byron_Cook_(computer_scientist) wikiPageWikiLink Program_verification.
- Byron_Cook_(computer_scientist) wikiPageWikiLink Termination_analysis.
- Byron_Cook_(computer_scientist) wikiPageWikiLink Theorem_proving.
- 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) hasPhotoCollection 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 Person.
- Byron_Cook_(computer_scientist) type Person.
- 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 m.0h7nt6n.
- Byron_Cook_(computer_scientist) sameAs Q5004332.
- 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".