Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Byron_Cook_(computer_scientist)> ?p ?o. }
Showing items 1 to 53 of
53
with 100 items per page.
- Byron_Cook_(computer_scientist) abstract "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. 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) 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 ~bycook.
- Byron_Cook_(computer_scientist) wikiPageID "33258732".
- Byron_Cook_(computer_scientist) wikiPageRevisionID "604064458".
- Byron_Cook_(computer_scientist) blpSources "September 2011".
- Byron_Cook_(computer_scientist) hasPhotoCollection Byron_Cook_(computer_scientist).
- 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) refimprove "September 2011".
- 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) type BritishComputerScientists.
- Byron_Cook_(computer_scientist) type CausalAgent100007347.
- Byron_Cook_(computer_scientist) type ComputerScientist109951070.
- Byron_Cook_(computer_scientist) type ComputerUser109951274.
- Byron_Cook_(computer_scientist) type LivingPeople.
- Byron_Cook_(computer_scientist) type LivingThing100004258.
- Byron_Cook_(computer_scientist) type Object100002684.
- Byron_Cook_(computer_scientist) type Organism100004475.
- Byron_Cook_(computer_scientist) type Person100007846.
- Byron_Cook_(computer_scientist) type PhysicalEntity100001930.
- Byron_Cook_(computer_scientist) type Scientist110560637.
- Byron_Cook_(computer_scientist) type Whole100003553.
- Byron_Cook_(computer_scientist) type YagoLegalActor.
- Byron_Cook_(computer_scientist) type YagoLegalActorGeo.
- Byron_Cook_(computer_scientist) type Agent.
- Byron_Cook_(computer_scientist) type Person.
- Byron_Cook_(computer_scientist) type Person.
- Byron_Cook_(computer_scientist) type Q215627.
- Byron_Cook_(computer_scientist) type Q5.
- Byron_Cook_(computer_scientist) type Agent.
- Byron_Cook_(computer_scientist) type NaturalPerson.
- Byron_Cook_(computer_scientist) type Thing.
- Byron_Cook_(computer_scientist) type Person.
- 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.".
- 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) sameAs Byron_Cook_(computer_scientist).
- Byron_Cook_(computer_scientist) wasDerivedFrom Byron_Cook_(computer_scientist)?oldid=604064458.
- 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".