John Rushby

http://dbpedia.org/resource/John_Rushby an entity of type: Thing

John Rushby (born 1949) 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. rdf:langString
rdf:langString John Rushby
rdf:langString John Rushby
rdf:langString John Rushby
rdf:langString London, England
xsd:integer 2706633
xsd:integer 1085195159
xsd:integer 1949
rdf:langString Formal methods and dependable systems
rdf:langString John Rushby (born 1949) 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.
xsd:nonNegativeInteger 3739
owl:Thing
foaf:Person
dbpedia-owl:Person
<http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson>
<http://www.wikidata.org/entity/Q19088>
<http://www.wikidata.org/entity/Q215627>
<http://www.wikidata.org/entity/Q5>
<http://www.wikidata.org/entity/Q729>
yago:WikicatAmericanComputerScientists
yago:WikicatBritishComputerScientists
yago:WikicatBritishExpatriatesInTheUnitedStates
dbpedia-owl:Animal
dbpedia-owl:Eukaryote
dbpedia-owl:Scientist
dbpedia-owl:Species
schema-org:Person
yago:WikicatLivingPeople
yago:WikicatPeopleEducatedAtDartfordGrammarSchool
yago:WikicatSRIInternationalPeople
<http://www.wikidata.org/entity/Q901>
yago:Absentee109757653
yago:Alumnus109786338
yago:CausalAgent100007347
yago:ComputerScientist109951070
yago:ComputerUser109951274
yago:Exile110071332
yago:Intellectual109621545
yago:LivingThing100004258
yago:Object100002684
yago:Organism100004475
yago:Person100007846
yago:PhysicalEntity100001930
yago:YagoLegalActor
yago:YagoLegalActorGeo
yago:Scholar110557854
yago:Scientist110560637
yago:Traveler109629752
yago:Whole100003553
yago:WikicatAlumniOfNewcastleUniversity
yago:WikicatFormalMethodsPeople
<http://www.csl.sri.com/people/rushby/>
<http://dbpedia.org/resource/London>
<http://dbpedia.org/resource/Category:1949_births>
<http://dbpedia.org/resource/Category:Living_people>
<http://dbpedia.org/resource/Category:American_computer_scientists>
<http://dbpedia.org/resource/Category:Alumni_of_Newcastle_University>
<http://dbpedia.org/resource/Category:SRI_International_people>
<http://dbpedia.org/resource/Category:People_educated_at_Dartford_Grammar_School>
<http://dbpedia.org/resource/Category:British_computer_scientists>
<http://dbpedia.org/resource/Category:British_expatriates_in_the_United_States>
<http://dbpedia.org/resource/Category:Formal_methods_people>
<http://dbpedia.org/resource/United_Kingdom>
<http://dbpedia.org/resource/United_States>
<http://dbpedia.org/resource/Category:1949_births>
<http://dbpedia.org/resource/Category:Living_people>
<http://dbpedia.org/resource/Menlo_Park,_California>
<http://dbpedia.org/resource/SRI_International>
<http://dbpedia.org/resource/London>
<http://dbpedia.org/resource/Computer_science>
<http://dbpedia.org/resource/Harlan_Mills>
<http://dbpedia.org/resource/Prototype_Verification_System>
<http://dbpedia.org/resource/Automated_theorem_proving>
<http://dbpedia.org/resource/BSc>
<http://dbpedia.org/resource/Category:American_computer_scientists>
<http://dbpedia.org/resource/British_people>
<http://dbpedia.org/resource/Category:Alumni_of_Newcastle_University>
<http://dbpedia.org/resource/Category:SRI_International_people>
<http://dbpedia.org/resource/Dartford_Grammar_School>
<http://dbpedia.org/resource/Category:People_educated_at_Dartford_Grammar_School>
<http://dbpedia.org/resource/Formal_methods>
<http://dbpedia.org/resource/Category:British_computer_scientists>
<http://dbpedia.org/resource/Category:British_expatriates_in_the_United_States>
<http://dbpedia.org/resource/Category:Formal_methods_people>
<http://dbpedia.org/resource/PhD>
<http://dbpedia.org/resource/Newcastle_University>
<http://dbpedia.org/resource/Redwood_Shores,_California>
<http://dbpedia.org/resource/Manchester_University>
<http://dbpedia.org/resource/IEEE_Computer_Society>
<http://dbpedia.org/resource/Dependable_systems>
<http://www.csl.sri.com/users/rushby/>
<http://www.csl.sri.com/people/rushby/>
<http://rdf.freebase.com/ns/m.07z712>
<http://viaf.org/viaf/48826700>
<http://yago-knowledge.org/resource/John_Rushby>
<http://www.wikidata.org/entity/Q15501782>
<http://arz.dbpedia.org/resource/جون_راشبى>
<http://fa.dbpedia.org/resource/جان_راشبی>
<https://global.dbpedia.org/id/Y62S>
<http://dbpedia.org/resource/SRI_International>
<http://dbpedia.org/resource/Newcastle_University>
<http://dbpedia.org/resource/Manchester_University>
<http://dbpedia.org/resource/Template:Authority_control>
<http://dbpedia.org/resource/Template:Reflist>
<http://dbpedia.org/resource/Template:Short_description>
<http://dbpedia.org/resource/Template:Use_British_English>
<http://dbpedia.org/resource/Template:Use_dmy_dates>
<http://dbpedia.org/resource/Template:Infobox_scientist>
<http://dbpedia.org/resource/Newcastle_University>
<http://dbpedia.org/resource/British_people>
<http://dbpedia.org/resource/Redwood_Shores,_California>
<http://dbpedia.org/resource/British_people>
<http://dbpedia.org/resource/SRI_International>
<http://dbpedia.org/resource/Newcastle_University>
<http://dbpedia.org/resource/Manchester_University>
<http://dbpedia.org/resource/Scientist>
<http://viaf.org/viaf/48826700>
<http://en.wikipedia.org/wiki/John_Rushby?oldid=1085195159&ns=0>
<http://dbpedia.org/resource/Formal_methods>
<http://dbpedia.org/resource/Dependable_systems>
<http://dbpedia.org/resource/Newcastle_University>
<http://dbpedia.org/resource/Redwood_Shores,_California>
<http://en.wikipedia.org/wiki/John_Rushby>

data from the linked data cloud