John Rushby is a British computer scientist now based in the United States. John Rushby was born and brought up in London, where he attended Dartford Grammar School. He studied at the University of Newcastle in the UK, gaining his computer science BSc there in 1971 and his PhD in 1977. He is at SRI International in California, U.S. , where he is Program Director for Formal Methods and Dependable Systems in the Computer Science Laboratory. He developed the PVS theorem prover.
| Property | Value |
|---|
| dbpprop:abstract
|
- John Rushby is a British computer scientist now based in the United States. John Rushby was born and brought up in London, where he attended Dartford Grammar School. He studied at the University of Newcastle in the UK, gaining his computer science BSc there in 1971 and his PhD in 1977. He is at SRI International in California, U.S. , where he is Program Director for Formal Methods and Dependable Systems in the Computer Science Laboratory. He developed the PVS theorem prover. He lives in Redwood Shores, part of Redwood City.
|
| dbpprop:hasPhotoCollection
| |
| dbpprop:reference
| |
| rdf:type
| |
| rdfs:comment
|
- John Rushby is a British computer scientist now based in the United States. John Rushby was born and brought up in London, where he attended Dartford Grammar School. He studied at the University of Newcastle in the UK, gaining his computer science BSc there in 1971 and his PhD in 1977. He is at SRI International in California, U.S. , where he is Program Director for Formal Methods and Dependable Systems in the Computer Science Laboratory. He developed the PVS theorem prover.
|
| rdfs:label
| |
| owl:sameAs
| |
| skos:subject
| |
| foaf:homepage
| |
| foaf:page
| |
| is owl:sameAs
of | |
![[RDF Data]](/statics/sw-cube.png)
