About: Jim Horning

An Entity of Type: animal, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Computer scientist (1942-2013)

Property	Value
dbo:almaMater	dbr:Stanford_University
dbo:birthDate	1942-08-24 (xsd:date)
dbo:deathDate	2013-01-18 (xsd:date)
dbo:description	Amerikaans informaticus (1942-2013) (nl) computer scientist (1942-2013) (en)
dbo:doctoralAdvisor	dbr:Jerome_A._Feldman
dbo:doctoralStudent	dbr:John_Guttag
dbo:institution	dbr:Intertrust_Technologies_Corporation dbr:DEC_Systems_Research_Center dbr:PARC_(company) dbr:University_of_Toronto
dbo:wikiPageExternalLink	http://searchworks.stanford.edu/view/2198734 https://web.archive.org/web/20050305204708/http:/home.comcast.net/~jhorning4/cv.html https://web.archive.org/web/20050929131758/http:/www.horning.net/
dbo:wikiPageWikiLink	dbc:Xerox_people dbr:Communications_of_the_ACM dbc:2013_deaths dbc:American_computer_scientists dbr:Formal_specification dbr:Formal_methods dbr:Digital_rights_management dbr:Peter_G._Neumann dbc:1942_births dbc:Stanford_University_alumni dbc:Digital_Equipment_Corporation_people dbc:Formal_methods_people dbr:Computer_security dbr:Stanford_University dbr:Computer_scientist dbr:Xerox dbr:DEC_Systems_Research_Center dbr:John_Guttag dbc:Fellows_of_the_Association_for_Computing_Machinery dbr:Prentice_Hall dbr:Doctor_of_Philosophy dbr:University_of_Toronto dbr:Larch_family dbr:RISKS_Digest dbr:Springer-Verlag dbr:MIT dbr:ACM_Fellow dbr:Specification dbr:Programming_methodology dbr:Programming_languages dbr:Palo_Alto_Research_Center dbr:William_M._McKeeman dbc:University_of_Toronto_faculty dbr:InterTrust_Technologies_Corp. dbr:STAR_Lab
dbp:almaMater	dbr:Stanford_University
dbp:birthDate	1942-08-24 (xsd:date)
dbp:deathDate	2013-01-18 (xsd:date)
dbp:deathPlace	Palo Alto, California (en)
dbp:doctoralAdvisor	dbr:Jerome_A._Feldman
dbp:doctoralStudents	dbr:John_Guttag
dbp:name	Jim Horning (en)
dbp:thesisTitle	A Study of Grammatical Inference (en)
dbp:thesisUrl	https://searchworks.stanford.edu/view/2198734
dbp:thesisYear	1969 (xsd:integer)
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Cite_book dbt:Reflist dbt:Cite_journal dbt:Infobox_scientist dbt:Birth_date dbt:Death_date_and_age dbt:ISBN dbt:Wikiquote dbt:Use_mdy_dates dbt:Short_description
dbp:workplaces	dbr:Intertrust_Technologies_Corporation dbr:DEC_Systems_Research_Center dbr:PARC_(company) dbr:University_of_Toronto
dct:subject	dbc:Academic_staff_of_the_University_of_Toronto dbc:Xerox_people dbc:2013_deaths dbc:American_computer_scientists dbc:1942_births dbc:Place_of_birth_missing dbc:Stanford_University_alumni dbc:Digital_Equipment_Corporation_people dbc:Formal_methods_people dbc:1998_fellows_of_the_Association_for_Computing_Machinery
gold:hypernym	dbr:Scientist
schema:sameAs	http://viaf.org/viaf/32676931
rdf:type	owl:Thing foaf:Person dbo:Person dul:NaturalPerson wikidata:Q19088 wikidata:Q215627 wikidata:Q5 wikidata:Q729 wikidata:Q901 dbo:Animal dbo:Eukaryote dbo:Species schema:Person
rdfs:label	Jim Horning (en)
owl:sameAs	http://viaf.org/viaf/32676931 freebase:Jim Horning http://www4.wiwiss.fu-berlin.de/dblp/resource/person/213108 yago-res:Jim Horning wikidata:Jim Horning https://dblp.org/pid/h/JamesJHorning http://data.bibliotheken.nl/id/thes/p128180943 dbpedia-global:Jim Horning
prov:wasDerivedFrom	wikipedia-en:Jim_Horning?oldid=1245482428&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Jim_Horning
foaf:name	Jim Horning (en)
is dbo:designer of	dbr:Euclid_(programming_language)
is dbo:doctoralAdvisor of	dbr:John_Guttag
is dbo:wikiPageRedirects of	dbr:James_Horning dbr:James_Jay_Horning
is dbo:wikiPageWikiLink of	dbr:January_18 dbr:Horning_(surname) dbr:Timeline_of_programming_languages dbr:XPL dbr:Deaths_in_January_2013 dbr:John_Guttag dbr:History_of_compiler_construction dbr:2013_in_science dbr:List_of_programming_language_researchers dbr:Larch_Prover dbr:IFIP_Working_Group_2.3 dbr:James_Horning dbr:James_Jay_Horning
is dbp:doctoralAdvisor of	dbr:John_Guttag
is foaf:primaryTopic of	wikipedia-en:Jim_Horning