Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/John_Rushby> ?p ?o }
- John_Rushby abstract "John Rushby is a British computer scientist now based in the United States and working for SRI International. He previously taught and did research for Manchester University and later Newcastle University.".
- John_Rushby almaMater Newcastle_University.
- John_Rushby birthPlace London.
- John_Rushby birthPlace London,_England.
- John_Rushby citizenship British_people.
- John_Rushby field Dependability.
- John_Rushby field Formal_methods.
- John_Rushby residence Redwood_Shores,_California.
- John_Rushby wikiPageExternalLink rushby.
- John_Rushby wikiPageExternalLink rushby.
- John_Rushby wikiPageID "2706633".
- John_Rushby wikiPageLength "3959".
- John_Rushby wikiPageOutDegree "41".
- John_Rushby wikiPageRevisionID "660370437".
- John_Rushby wikiPageWikiLink Automated_theorem_proving.
- John_Rushby wikiPageWikiLink BSc.
- John_Rushby wikiPageWikiLink Bachelor_of_Science.
- John_Rushby wikiPageWikiLink British_people.
- John_Rushby wikiPageWikiLink Category:Alumni_of_Newcastle_University.
- John_Rushby wikiPageWikiLink Category:American_computer_scientists.
- John_Rushby wikiPageWikiLink Category:British_computer_scientists.
- John_Rushby wikiPageWikiLink Category:British_expatriates_in_the_United_States.
- John_Rushby wikiPageWikiLink Category:Formal_methods_people.
- John_Rushby wikiPageWikiLink Category:Living_people.
- John_Rushby wikiPageWikiLink Category:People_educated_at_Dartford_Grammar_School.
- John_Rushby wikiPageWikiLink Category:SRI_International_people.
- John_Rushby wikiPageWikiLink Category:Year_of_birth_missing_(living_people).
- John_Rushby wikiPageWikiLink Computer_science.
- John_Rushby wikiPageWikiLink Dartford_Grammar_School.
- John_Rushby wikiPageWikiLink Dependability.
- John_Rushby wikiPageWikiLink Dependable_systems.
- John_Rushby wikiPageWikiLink Doctor_of_Philosophy.
- John_Rushby wikiPageWikiLink Formal_methods.
- John_Rushby wikiPageWikiLink Harlan_Mills.
- John_Rushby wikiPageWikiLink IEEE_Computer_Society.
- John_Rushby wikiPageWikiLink London.
- John_Rushby wikiPageWikiLink London,_England.
- John_Rushby wikiPageWikiLink Manchester_University.
- John_Rushby wikiPageWikiLink Menlo_Park,_California.
- John_Rushby wikiPageWikiLink Newcastle_University.
- John_Rushby wikiPageWikiLink PhD.
- John_Rushby wikiPageWikiLink Prototype_Verification_System.
- John_Rushby wikiPageWikiLink Redwood_Shores,_California.
- John_Rushby wikiPageWikiLink SRI_International.
- John_Rushby wikiPageWikiLink United_Kingdom.
- John_Rushby wikiPageWikiLink United_States.
- John_Rushby wikiPageWikiLink University_of_Manchester.
- John_Rushby wikiPageWikiLinkText "John Rushby".
- John_Rushby wikiPageWikiLinkText "Rushby".
- John_Rushby almaMater Newcastle_University.
- John_Rushby birthPlace London.
- John_Rushby birthPlace London,_England.
- John_Rushby citizenship British_people.
- John_Rushby fields "Formal methods and dependable systems".
- John_Rushby hasPhotoCollection John_Rushby.
- John_Rushby name "John Rushby".
- John_Rushby name "Rushby, John".
- John_Rushby placeOfBirth London.
- John_Rushby placeOfBirth London,_England.
- John_Rushby residence Redwood_Shores,_California.
- John_Rushby shortDescription "Computer scientist".
- John_Rushby wikiPageUsesTemplate Template:Authority_control.
- John_Rushby wikiPageUsesTemplate Template:Infobox_scientist.
- John_Rushby wikiPageUsesTemplate Template:Persondata.
- John_Rushby wikiPageUsesTemplate Template:Reflist.
- John_Rushby workplaces Manchester_University.
- John_Rushby workplaces University_of_Manchester.
- John_Rushby workplaces "Newcastle University".
- John_Rushby workplaces "SRI International".
- John_Rushby description "Computer scientist".
- John_Rushby description "Computer scientist".
- John_Rushby subject Category:Alumni_of_Newcastle_University.
- John_Rushby subject Category:American_computer_scientists.
- John_Rushby subject Category:British_computer_scientists.
- John_Rushby subject Category:British_expatriates_in_the_United_States.
- John_Rushby subject Category:Formal_methods_people.
- John_Rushby subject Category:Living_people.
- John_Rushby subject Category:People_educated_at_Dartford_Grammar_School.
- John_Rushby subject Category:SRI_International_people.
- John_Rushby subject Category:Year_of_birth_missing_(living_people).
- John_Rushby hypernym Scientist.
- John_Rushby type Agent.
- John_Rushby type Article.
- John_Rushby type List.
- John_Rushby type Person.
- John_Rushby type Scientist.
- John_Rushby type Article.
- John_Rushby type List.
- John_Rushby type Method.
- John_Rushby type Scientist.
- John_Rushby type Person.
- John_Rushby type Agent.
- John_Rushby type NaturalPerson.
- John_Rushby type Thing.
- John_Rushby type Q215627.
- John_Rushby type Q5.
- John_Rushby type Q901.
- John_Rushby type Person.
- John_Rushby comment "John Rushby is a British computer scientist now based in the United States and working for SRI International. He previously taught and did research for Manchester University and later Newcastle University.".
- John_Rushby label "John Rushby".