About: Daniel Jackson (computer scientist)

Property	Value
dbo:abstract	Daniel N. Jackson (* 1963) ist Professor für Informatik am Massachusetts Institute of Technology (MIT). Er ist die Triebfeder hinter der Modellierungssprache Alloy und dem Alloy Analyzer. Daniel Jacksons wichtigstes Buch ist Software Abstractions: Logic, Language and Analysis. (de) دانييل جاكسون (بالإنجليزية: Daniel Jackson)‏ هو عالم حاسوب ومصور ومهندس أمريكي، ولد في 1963. (ar) Daniel Jackson (born 1963) is a professor of Computer Science at the Massachusetts Institute of Technology (MIT). He is the principal designer of the Alloy modelling language, and author of the book Software Abstractions: Logic, Language, and Analysis. (en)
dbo:almaMater	dbr:University_of_Oxford dbr:Massachusetts_Institute_of_Technology
dbo:doctoralAdvisor	dbr:John_Guttag
dbo:knownFor	dbr:Alloy_(specification_language) dbr:Formal_methods
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:wikiPageID	21018561 (xsd:integer)
dbo:wikiPageLength	7356 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	1064704712 (xsd:integer)
dbo:wikiPageWikiLink	dbr:Carnegie_Mellon_University dbr:Scientific_American dbr:Berenice_Abbott dbr:Alloy_(specification_language) dbr:United_States_National_Research_Council dbr:University_of_Oxford dbr:Jackson_Structured_Programming dbr:Jackson_System_Development dbc:1963_births dbc:Living_people dbr:Computer_Science dbr:Massachusetts_Institute_of_Technology dbr:Master_of_Science dbc:Software_engineering_researchers dbr:Problem_Frames_Approach dbr:MIT dbr:MIT_Museum dbr:Physics dbr:Michael_A._Jackson_(computer_scientist) dbc:Alumni_of_the_University_of_Oxford dbc:21st-century_British_photographers dbc:Carnegie_Mellon_University_faculty dbc:Photographers_from_London dbr:Logica dbc:MIT_School_of_Engineering_faculty dbr:Formal_methods dbc:Fellows_of_the_Association_for_Computing_Machinery dbc:MIT_School_of_Engineering_alumni dbc:20th-century_British_photographers dbc:British_expatriate_academics_in_the_United_States dbc:English_computer_scientists dbc:Formal_methods_people dbc:British_computer_programmers dbc:Computer_science_writers dbr:John_Guttag dbr:Straight_photography dbr:Alloy_Analyzer dbr:Master_of_Arts_(Oxbridge_and_Dublin) dbr:Fellow_of_the_Association_for_Computing_Machinery dbr:Dependable_systems
dbp:almaMater	dbr:University_of_Oxford dbr:Massachusetts_Institute_of_Technology (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:DBLP dbt:Authority_control dbt:Cite_book dbt:Cite_journal dbt:EngvarB dbt:Reflist dbt:Use_dmy_dates dbt:Infobox_scientist
dbp:workInstitution	dbr:Massachusetts_Institute_of_Technology
dcterms:subject	dbc:1963_births dbc:Living_people dbc:Software_engineering_researchers dbc:Alumni_of_the_University_of_Oxford dbc:21st-century_British_photographers dbc:Carnegie_Mellon_University_faculty dbc:Photographers_from_London dbc:MIT_School_of_Engineering_faculty dbc:Fellows_of_the_Association_for_Computing_Machinery dbc:MIT_School_of_Engineering_alumni dbc:20th-century_British_photographers dbc:British_expatriate_academics_in_the_United_States dbc:English_computer_scientists dbc:Formal_methods_people dbc:British_computer_programmers dbc:Computer_science_writers
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 yago:WikicatAmericanComputerScientists yago:WikicatAmericanPhotographers yago:WikicatBritishComputerProgrammers yago:WikicatBritishExpatriateAcademicsInTheUnitedStates dbo:Animal dbo:Eukaryote dbo:Scientist dbo:Species yago:WikicatComputerScienceWriters schema:Person yago:WikicatLivingPeople yago:WikicatPeopleFromLondon wikidata:Q901 yago:Absentee109757653 yago:Academician109759069 yago:Adult109605289 yago:Alumnus109786338 yago:Artist109812338 yago:CausalAgent100007347 yago:Communicator109610660 yago:ComputerScientist109951070 yago:ComputerUser109951274 yago:Creator109614315 yago:Educator110045713 yago:Engineer109615807 yago:Exile110071332 yago:Intellectual109621545 yago:LivingThing100004258 yago:Object100002684 yago:Organism100004475 yago:Person100007846 yago:Photographer110426749 yago:PhysicalEntity100001930 yago:Professional110480253 yago:Programmer110481268 yago:Writer110794014 yago:YagoLegalActor yago:YagoLegalActorGeo yago:Scholar110557854 yago:Scientist110560637 yago:Traveler109629752 yago:Whole100003553 yago:WikicatAlumniOfTheUniversityOfOxford yago:WikicatEnglishExpatriatesInTheUnitedStates yago:WikicatFormalMethodsPeople
rdfs:comment	Daniel N. Jackson (* 1963) ist Professor für Informatik am Massachusetts Institute of Technology (MIT). Er ist die Triebfeder hinter der Modellierungssprache Alloy und dem Alloy Analyzer. Daniel Jacksons wichtigstes Buch ist Software Abstractions: Logic, Language and Analysis. (de) دانييل جاكسون (بالإنجليزية: Daniel Jackson)‏ هو عالم حاسوب ومصور ومهندس أمريكي، ولد في 1963. (ar) Daniel Jackson (born 1963) is a professor of Computer Science at the Massachusetts Institute of Technology (MIT). He is the principal designer of the Alloy modelling language, and author of the book Software Abstractions: Logic, Language, and Analysis. (en)
rdfs:label	دانييل جاكسون (ar) Daniel Jackson (Informatiker) (de) Daniel Jackson (computer scientist) (en)
owl:sameAs	freebase:Daniel Jackson (computer scientist) http://viaf.org/viaf/163107579 yago-res:Daniel Jackson (computer scientist) http://d-nb.info/gnd/1129368394 https://dblp.org/pid/80/1906-1 https://dblp.org/pid/80/1906-8 https://orcid.org/0000-0002-8833-9476 wikidata:Daniel Jackson (computer scientist) wikidata:Daniel Jackson (computer scientist) dbpedia-ar:Daniel Jackson (computer scientist) http://azb.dbpedia.org/resource/دانیل_جکسون_(بیلگی‌سایار_اوزمانی) dbpedia-de:Daniel Jackson (computer scientist) http://mg.dbpedia.org/resource/Daniel_Jackson https://global.dbpedia.org/id/4iyDJ
prov:wasDerivedFrom	wikipedia-en:Daniel_Jackson_(computer_scientist)?oldid=1064704712&ns=0
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:List_of_fellows_of_the_Association_for_Computing_Machinery dbr:Alloy_(specification_language) dbr:List_of_programming_language_researchers dbr:Emina_Torlak dbr:Daniel_Jackson dbr:Michael_A._Jackson_(computer_scientist) dbr:1963_in_science dbr:Jackson_(name) dbr:John_Guttag dbr:IFIP_Working_Group_2.3
is dbp:doctoralStudents of	dbr:John_Guttag
is foaf:primaryTopic of	wikipedia-en:Daniel_Jackson_(computer_scientist)