This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License
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.
| Property | Value |
|---|---|
| dbo:abstract |
|
| dbo:knownFor | |
| dbo:nationality | |
| dbo:occupation | |
| dbo:stateOfOrigin | |
| dbo:wikiPageExternalLink | |
| dbo:wikiPageID |
|
| dbo:wikiPageLength |
|
| dbo:wikiPageRevisionID |
|
| dbo:wikiPageWikiLink | |
| dbp:knownFor | |
| dbp:name |
|
| dbp:nationality | |
| dbp:occupation |
|
| dbp:wikiPageUsesTemplate | |
| dcterms:subject | |
| gold:hypernym | |
| rdf:type |
|
| rdfs:comment |
|
| rdfs:label |
|
| owl:sameAs | |
| prov:wasDerivedFrom | |
| foaf:isPrimaryTopicOf | |
| foaf:name |
|
| is dbo:wikiPageDisambiguates of | |
| is dbo:wikiPageWikiLink of | |
| is foaf:primaryTopic of |