About: Daniel Jackson (computer scientist)

An Entity of Type: animal, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

American computer scientist

Property	Value
dbo:almaMater	dbr:Massachusetts_Institute_of_Technology dbr:University_of_Oxford
dbo:description	United States of America karimba ŋun nyɛ doo (dag) американський науковець у галузі комп'ютерних технологій (uk) American computer scientist (en) informaticien américain (fr) ríomheolaí Meiriceánach (ga) 미국 컴퓨터 과학자 (ko) Amerikaans fotograaf (nl) Professor für Informatik am Massachusetts Institute of Technology (MIT) (de)
dbo:doctoralAdvisor	dbr:John_Guttag
dbo:knownFor	dbr:Formal_methods dbr:Alloy_(specification_language)
dbo:thumbnail	wiki-commons:Special:FilePath/Daniel_Jackson_MIT_(crop)_01.jpg?width=300
dbo:wikiPageExternalLink	http://straightphotography.org/ http://www.softwareabstractions.org/ http://people.csail.mit.edu/dnj/ http://people.csail.mit.edu/dnj/publications/alloy-journal.pdf http://www.nap.edu/catalog.php%3Frecord_id=11923 http://www.sciam.com/article.cfm%3Fid=dependable-software-by-de
dbo:wikiPageWikiLink	dbc:Alumni_of_the_University_of_Oxford dbc:Carnegie_Mellon_University_faculty dbc:Photographers_from_London dbr:Logica dbr:Master_of_Science dbc:MIT_School_of_Engineering_alumni dbr:Massachusetts_Institute_of_Technology dbr:Formal_methods dbc:MIT_School_of_Engineering_faculty dbr:University_of_Oxford dbr:Alloy_(specification_language) dbc:British_computer_programmers dbc:1963_births dbc:British_expatriate_academics_in_the_United_States dbc:English_computer_scientists dbc:Living_people dbr:Physics dbr:Berenice_Abbott dbc:Computer_science_writers dbc:Formal_methods_people dbc:Software_engineering_researchers dbr:MIT_Museum dbr:Scientific_American dbr:Michael_A._Jackson_(computer_scientist) dbr:Carnegie_Mellon_University dbc:21st-century_British_photographers dbc:20th-century_British_photographers dbr:John_Guttag dbc:Fellows_of_the_Association_for_Computing_Machinery dbr:Straight_photography dbr:Fellow_of_the_Association_for_Computing_Machinery dbr:Master_of_Arts_(Oxbridge_and_Dublin) dbr:United_States_National_Research_Council dbr:Dependable_systems dbr:Computer_Science dbr:MIT dbr:Alloy_Analyzer dbr:Problem_Frames_Approach dbr:Jackson_Structured_Programming dbr:Jackson_System_Development
dbp:almaMater	dbr:Massachusetts_Institute_of_Technology dbr:University_of_Oxford (en)
dbp:doctoralAdvisor	dbr:John_Guttag
dbp:knownFor	Lightweight formal methods, and the Alloy specification language (en)
dbp:name	Daniel Jackson (en)
dbp:occupation	Computer scientist (en)
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Cite_book dbt:Reflist dbt:Cite_journal dbt:Infobox_scientist dbt:DBLP dbt:Use_dmy_dates dbt:Usurped dbt:EngvarB
dbp:workInstitution	dbr:Massachusetts_Institute_of_Technology
dct:subject	dbc:Alumni_of_the_University_of_Oxford dbc:Carnegie_Mellon_University_faculty dbc:Photographers_from_London dbc:MIT_School_of_Engineering_alumni dbc:MIT_School_of_Engineering_faculty dbc:British_computer_programmers dbc:1963_births dbc:British_expatriate_academics_in_the_United_States dbc:English_computer_scientists dbc:Living_people dbc:Computer_science_writers dbc:Formal_methods_people dbc:Software_engineering_researchers dbc:21st-century_British_photographers dbc:20th-century_British_photographers
gold:hypernym	dbr:Professor
schema:sameAs	http://viaf.org/viaf/163107579
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	Daniel Jackson (computer scientist) (en) دانييل جاكسون (ar) Daniel Jackson (Informatiker) (de)
owl:sameAs	yago-res:Daniel Jackson (computer scientist) freebase:Daniel Jackson (computer scientist) http://viaf.org/viaf/163107579 wikidata:Daniel Jackson (computer scientist) wikidata:Daniel Jackson (computer scientist) dbpedia-de:Daniel Jackson (computer scientist) https://orcid.org/0000-0002-8833-9476 http://d-nb.info/gnd/1129368394 https://dblp.org/pid/80/1906-1 https://dblp.org/pid/80/1906-8 dbpedia-ar:Daniel Jackson (computer scientist) dbpedia-azb:Daniel Jackson (computer scientist) dbpedia-mg:Daniel Jackson (computer scientist) dbpedia-global:Daniel Jackson (computer scientist) dbr:Daniel Jackson (computer scientist)
prov:wasDerivedFrom	wikipedia-en:Daniel_Jackson_(computer_scientist)?oldid=1288503829&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Daniel_Jackson_MIT_(crop)_01.jpg
foaf:isPrimaryTopicOf	wikipedia-en:Daniel_Jackson_(computer_scientist)
foaf:name	Daniel Jackson (en)
is dbo:doctoralStudent of	dbr:John_Guttag
is dbo:wikiPageDisambiguates of	dbr:Daniel_Jackson
is dbo:wikiPageWikiLink of	dbr:Daniel_Jackson dbr:Jackson_(name) dbr:Alloy_(specification_language) dbr:List_of_fellows_of_the_Association_for_Computing_Machinery dbr:Michael_A._Jackson_(computer_scientist) dbr:1963_in_science dbr:John_Guttag dbr:List_of_programming_language_researchers dbr:IFIP_Working_Group_2.3 dbr:Emina_Torlak
is dbp:doctoralStudents of	dbr:John_Guttag
is foaf:primaryTopic of	wikipedia-en:Daniel_Jackson_(computer_scientist)