About: John Guttag

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

American computer scientist

Property	Value
dbo:almaMater	dbr:University_of_Toronto dbr:Brown_University
dbo:description	araştırmacı (tr) forskare (sv) дослідник (uk) изилдөөчү (ky) эрдэмтэн (mn) 研究者 (zh) 연구원 (ko) American computer scientist (en) Amerikaans informaticus (nl) ikertzailea (eu) informaticien américain (fr) अनुसन्धानकर्ता (ne) वैज्ञानिक (hi) دانشمند علوم کامپیوتر و مهندس آمریکایی (fa) 研究員 (ja) US-amerikanischer Informatiker (de) investigador (es)
dbo:doctoralAdvisor	dbr:Jim_Horning
dbo:doctoralStudent	dbr:Katherine_Yelick dbr:Jeannette_Wing dbr:Raymie_Stata dbr:Joseph_Zachary dbr:Vanu_Bose dbr:Daniel_Jackson_(computer_scientist)
dbo:thumbnail	wiki-commons:Special:FilePath/John_Guttag.png?width=300
dbo:wikiPageExternalLink	http://people.csail.mit.edu/guttag/ http://www.csail.mit.edu/user/798 http://www.healthatscale.com http://dspace.mit.edu/bitstream/1721.1/17991/2/57194544-MIT.pdf%7C http://nms.csail.mit.edu/~guttag/
dbo:wikiPageWikiLink	dbr:Hardware_verification dbr:Addison-Wesley dbc:Living_people dbr:English_language dbr:Katherine_Yelick dbr:Americans dbr:Artificial_intelligence dbr:Association_for_Computing_Machinery dbr:Machine_learning dbr:Massachusetts_Institute_of_Technology dbr:University_of_Southern_California dbr:University_of_Toronto dbr:American_Academy_of_Arts_and_Sciences dbr:Brown_University dbr:Computer_scientist dbr:Jeannette_Wing dbr:Software_engineering dbr:Applied_mathematics dbr:Avid_Technology dbr:Raymie_Stata dbr:Joseph_Zachary dbr:Fellow dbr:Massachusetts_General_Hospital dbr:MIT_Computer_Science_and_Artificial_Intelligence_Laboratory dbr:Larchmont,_New_York dbr:Vanu_Bose dbr:Daniel_Jackson_(computer_scientist) dbr:Communications_of_the_ACM dbr:Software-defined_radio dbr:Jim_Horning dbc:University_of_Toronto_alumni dbc:1949_births dbc:Brown_University_alumni dbc:Fellows_of_the_Association_for_Computing_Machinery dbc:American_computer_scientists dbc:Formal_methods_people dbc:University_of_Southern_California_faculty dbc:Massachusetts_General_Hospital_people dbr:Electrical_Engineering_and_Computer_Science dbc:MIT_School_of_Engineering_faculty dbr:Theorem_proving dbr:Computer_Science dbr:MIT dbr:Springer-Verlag dbr:Empirix dbr:Compilation_(programming) dbr:Medical_computer_science dbr:Software_radio
dbp:almaMater	dbr:University_of_Toronto dbr:Brown_University
dbp:doctoralAdvisor	dbr:Jim_Horning
dbp:doctoralStudents	dbr:Katherine_Yelick dbr:Jeannette_Wing dbr:Raymie_Stata dbr:Joseph_Zachary dbr:Vanu_Bose dbr:Daniel_Jackson_(computer_scientist) (en)
dbp:thesisTitle	The Specification and Application to Programming of Abstract Data Types (en)
dbp:thesisYear	1975 (xsd:integer)
dbp:website	http://people.csail.mit.edu/guttag/
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Authority_control dbt:Birth_year_and_age dbt:Cite_conference dbt:Cite_journal dbt:Infobox_scientist dbt:Reflist dbt:Short_description
dct:subject	dbc:Living_people dbc:University_of_Toronto_alumni dbc:1949_births dbc:Brown_University_alumni dbc:American_computer_scientists dbc:Formal_methods_people dbc:University_of_Southern_California_faculty dbc:Massachusetts_General_Hospital_people dbc:MIT_School_of_Engineering_faculty dbc:2006_fellows_of_the_Association_for_Computing_Machinery
schema:sameAs	http://viaf.org/viaf/225617017
rdf:type	owl:Thing foaf:Person dbo:Person dbo:Person dul:NaturalPerson wikidata:Q19088 wikidata:Q215627 wikidata:Q5 wikidata:Q729 wikidata:Q901 dbo:Animal dbo:Animal dbo:Eukaryote dbo:Eukaryote dbo:Scientist dbo:Scientist dbo:Scientist dbo:Species dbo:Species schema:Person
rdfs:label	John Guttag (en) John Guttag (de) John Guttag (nl)
owl:sameAs	yago-res:John Guttag http://viaf.org/viaf/225617017 freebase:John Guttag https://orcid.org/0000-0003-0992-0906 wikidata:John Guttag wikidata:John Guttag dbpedia-de:John Guttag dbpedia-nl:John Guttag http://d-nb.info/gnd/1161115846 https://dblp.org/pid/g/JohnVGuttag http://viaf.org/viaf/8557160211363048920007 http://data.bibliotheken.nl/id/thes/p072284242 dbpedia-global:John Guttag
prov:wasDerivedFrom	wikipedia-en:John_Guttag?oldid=1295278949&ns=0
foaf:depiction	wiki-commons:Special:FilePath/John_Guttag.png
foaf:homepage	http://people.csail.mit.edu/guttag/ http://people.csail.mit.edu/guttag/
foaf:isPrimaryTopicOf	wikipedia-en:John_Guttag
is dbo:doctoralAdvisor of	dbr:Katherine_Yelick dbr:Jeannette_Wing dbr:Raymie_Stata dbr:Joseph_Zachary dbr:Daniel_Jackson_(computer_scientist)
is dbo:doctoralStudent of	dbr:Jim_Horning
is dbo:wikiPageRedirects of	dbr:Guttag,_John dbr:J._V._Guttag dbr:John_V._Guttag
is dbo:wikiPageWikiLink of	dbr:List_of_programming_language_researchers dbr:Katherine_Yelick dbr:Albert_R._Meyer dbr:Brown_University dbr:Jeannette_Wing dbr:Raymie_Stata dbr:Joseph_Zachary dbr:MIT_Computer_Science_and_Artificial_Intelligence_Laboratory dbr:Vanu_Bose dbr:Daniel_Jackson_(computer_scientist) dbr:Barbara_Liskov dbr:Abstraction_(computer_science) dbr:Jim_Horning dbr:List_of_Brown_University_alumni dbr:Larch_Prover dbr:IFIP_Working_Group_2.3 dbr:Empirix dbr:Guttag,_John dbr:J._V._Guttag dbr:John_V._Guttag
is dbp:doctoralAdvisor of	dbr:Katherine_Yelick dbr:Jeannette_Wing dbr:Raymie_Stata dbr:Joseph_Zachary dbr:Daniel_Jackson_(computer_scientist)
is dbp:doctoralStudents of	dbr:Jim_Horning
is foaf:primaryTopic of	wikipedia-en:John_Guttag