Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Daniel_Jackson_(computer_scientist)> ?p ?o }
- Daniel_Jackson_(computer_scientist) abstract "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.".
- Daniel_Jackson_(computer_scientist) almaMater Massachusetts_Institute_of_Technology.
- Daniel_Jackson_(computer_scientist) almaMater University_of_Oxford.
- Daniel_Jackson_(computer_scientist) birthDate "1963".
- Daniel_Jackson_(computer_scientist) birthPlace England.
- Daniel_Jackson_(computer_scientist) birthPlace London.
- Daniel_Jackson_(computer_scientist) birthYear "1963".
- Daniel_Jackson_(computer_scientist) doctoralAdvisor John_Guttag.
- Daniel_Jackson_(computer_scientist) knownFor Alloy_(specification_language).
- Daniel_Jackson_(computer_scientist) knownFor Formal_methods.
- Daniel_Jackson_(computer_scientist) wikiPageExternalLink dnj.
- Daniel_Jackson_(computer_scientist) wikiPageExternalLink article.cfm?id=dependable-software-by-de.
- Daniel_Jackson_(computer_scientist) wikiPageExternalLink alloy-journal.pdf.
- Daniel_Jackson_(computer_scientist) wikiPageExternalLink straightphotography.org.
- Daniel_Jackson_(computer_scientist) wikiPageExternalLink catalog.php?record_id=11923.
- Daniel_Jackson_(computer_scientist) wikiPageExternalLink www.softwareabstractions.org.
- Daniel_Jackson_(computer_scientist) wikiPageID "21018561".
- Daniel_Jackson_(computer_scientist) wikiPageLength "6611".
- Daniel_Jackson_(computer_scientist) wikiPageOutDegree "50".
- Daniel_Jackson_(computer_scientist) wikiPageRevisionID "680091367".
- Daniel_Jackson_(computer_scientist) wikiPageWikiLink Alloy_(specification_language).
- Daniel_Jackson_(computer_scientist) wikiPageWikiLink Alloy_Analyzer.
- Daniel_Jackson_(computer_scientist) wikiPageWikiLink Berenice_Abbott.
- Daniel_Jackson_(computer_scientist) wikiPageWikiLink Carnegie_Mellon_University.
- Daniel_Jackson_(computer_scientist) wikiPageWikiLink Category:1963_births.
- Daniel_Jackson_(computer_scientist) wikiPageWikiLink Category:Alumni_of_the_University_of_Oxford.
- Daniel_Jackson_(computer_scientist) wikiPageWikiLink Category:British_computer_programmers.
- Daniel_Jackson_(computer_scientist) wikiPageWikiLink Category:British_expatriate_academics_in_the_United_States.
- Daniel_Jackson_(computer_scientist) wikiPageWikiLink Category:Carnegie_Mellon_University_faculty.
- Daniel_Jackson_(computer_scientist) wikiPageWikiLink Category:Computer_science_writers.
- Daniel_Jackson_(computer_scientist) wikiPageWikiLink Category:English_computer_scientists.
- Daniel_Jackson_(computer_scientist) wikiPageWikiLink Category:English_photographers.
- Daniel_Jackson_(computer_scientist) wikiPageWikiLink Category:Formal_methods_people.
- Daniel_Jackson_(computer_scientist) wikiPageWikiLink Category:Living_people.
- Daniel_Jackson_(computer_scientist) wikiPageWikiLink Category:Massachusetts_Institute_of_Technology_alumni.
- Daniel_Jackson_(computer_scientist) wikiPageWikiLink Category:Massachusetts_Institute_of_Technology_faculty.
- Daniel_Jackson_(computer_scientist) wikiPageWikiLink Category:People_from_London.
- Daniel_Jackson_(computer_scientist) wikiPageWikiLink Category:Software_engineering_researchers.
- Daniel_Jackson_(computer_scientist) wikiPageWikiLink Computer_science.
- Daniel_Jackson_(computer_scientist) wikiPageWikiLink Dependability.
- Daniel_Jackson_(computer_scientist) wikiPageWikiLink England.
- Daniel_Jackson_(computer_scientist) wikiPageWikiLink Formal_methods.
- Daniel_Jackson_(computer_scientist) wikiPageWikiLink Jackson_structured_programming.
- Daniel_Jackson_(computer_scientist) wikiPageWikiLink Jackson_system_development.
- Daniel_Jackson_(computer_scientist) wikiPageWikiLink John_Guttag.
- Daniel_Jackson_(computer_scientist) wikiPageWikiLink Logica.
- Daniel_Jackson_(computer_scientist) wikiPageWikiLink London.
- Daniel_Jackson_(computer_scientist) wikiPageWikiLink MIT_Museum.
- Daniel_Jackson_(computer_scientist) wikiPageWikiLink Massachusetts_Institute_of_Technology.
- Daniel_Jackson_(computer_scientist) wikiPageWikiLink Master_of_Arts_(Oxbridge_and_Dublin).
- Daniel_Jackson_(computer_scientist) wikiPageWikiLink Master_of_Science.
- Daniel_Jackson_(computer_scientist) wikiPageWikiLink Michael_A._Jackson.
- Daniel_Jackson_(computer_scientist) wikiPageWikiLink National_Research_Council_(United_States).
- Daniel_Jackson_(computer_scientist) wikiPageWikiLink Photographer.
- Daniel_Jackson_(computer_scientist) wikiPageWikiLink Physics.
- Daniel_Jackson_(computer_scientist) wikiPageWikiLink Problem_frames_approach.
- Daniel_Jackson_(computer_scientist) wikiPageWikiLink Professor.
- Daniel_Jackson_(computer_scientist) wikiPageWikiLink Scientific_American.
- Daniel_Jackson_(computer_scientist) wikiPageWikiLink Software_engineer.
- Daniel_Jackson_(computer_scientist) wikiPageWikiLink Straight_photography.
- Daniel_Jackson_(computer_scientist) wikiPageWikiLink University_of_Oxford.
- Daniel_Jackson_(computer_scientist) wikiPageWikiLinkText "Daniel Jackson (computer scientist)".
- Daniel_Jackson_(computer_scientist) wikiPageWikiLinkText "Daniel Jackson".
- Daniel_Jackson_(computer_scientist) wikiPageWikiLinkText "Daniel".
- Daniel_Jackson_(computer_scientist) almaMater Massachusetts_Institute_of_Technology.
- Daniel_Jackson_(computer_scientist) almaMater University_of_Oxford.
- Daniel_Jackson_(computer_scientist) almaMater "*".
- Daniel_Jackson_(computer_scientist) dateOfBirth "1963".
- Daniel_Jackson_(computer_scientist) doctoralAdvisor John_Guttag.
- Daniel_Jackson_(computer_scientist) knownFor "Lightweight formal methods, and the Alloy specification language".
- Daniel_Jackson_(computer_scientist) name "Daniel Jackson".
- Daniel_Jackson_(computer_scientist) name "Jackson, Daniel".
- Daniel_Jackson_(computer_scientist) occupation "Computer scientist".
- Daniel_Jackson_(computer_scientist) placeOfBirth England.
- Daniel_Jackson_(computer_scientist) placeOfBirth London.
- Daniel_Jackson_(computer_scientist) shortDescription "English computer scientist and academic".
- Daniel_Jackson_(computer_scientist) wikiPageUsesTemplate Template:Authority_control.
- Daniel_Jackson_(computer_scientist) wikiPageUsesTemplate Template:Cite_book.
- Daniel_Jackson_(computer_scientist) wikiPageUsesTemplate Template:Cite_journal.
- Daniel_Jackson_(computer_scientist) wikiPageUsesTemplate Template:DBLP.
- Daniel_Jackson_(computer_scientist) wikiPageUsesTemplate Template:Infobox_scientist.
- Daniel_Jackson_(computer_scientist) wikiPageUsesTemplate Template:Persondata.
- Daniel_Jackson_(computer_scientist) wikiPageUsesTemplate Template:Reflist.
- Daniel_Jackson_(computer_scientist) workInstitution Massachusetts_Institute_of_Technology.
- Daniel_Jackson_(computer_scientist) description "English computer scientist and academic".
- Daniel_Jackson_(computer_scientist) description "English computer scientist and academic".
- Daniel_Jackson_(computer_scientist) subject Category:1963_births.
- Daniel_Jackson_(computer_scientist) subject Category:Alumni_of_the_University_of_Oxford.
- Daniel_Jackson_(computer_scientist) subject Category:British_computer_programmers.
- Daniel_Jackson_(computer_scientist) subject Category:British_expatriate_academics_in_the_United_States.
- Daniel_Jackson_(computer_scientist) subject Category:Carnegie_Mellon_University_faculty.
- Daniel_Jackson_(computer_scientist) subject Category:Computer_science_writers.
- Daniel_Jackson_(computer_scientist) subject Category:English_computer_scientists.
- Daniel_Jackson_(computer_scientist) subject Category:English_photographers.
- Daniel_Jackson_(computer_scientist) subject Category:Formal_methods_people.
- Daniel_Jackson_(computer_scientist) subject Category:Living_people.
- Daniel_Jackson_(computer_scientist) subject Category:Massachusetts_Institute_of_Technology_alumni.
- Daniel_Jackson_(computer_scientist) subject Category:Massachusetts_Institute_of_Technology_faculty.
- Daniel_Jackson_(computer_scientist) subject Category:People_from_London.
- Daniel_Jackson_(computer_scientist) subject Category:Software_engineering_researchers.