About: David Luckham

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:academicDiscipline	dbr:Computer_science
dbo:almaMater	dbr:Massachusetts_Institute_of_Technology dbr:Doctor_of_Philosophy
dbo:birthPlace	dbr:Kingston,_Jamaica dbr:Colony_of_Jamaica
dbo:citizenship	dbr:United_Kingdom dbr:United_States
dbo:description	United States of America karimba ŋun nyɛ doo (dag) американський науковець у галузі комп'ютерних технологій (uk) American computer scientist (en) Amerikaans informaticus (nl) informaticien américain (fr) ríomheolaí Meiriceánach (ga)
dbo:institution	dbr:University_of_California,_Los_Angeles dbr:Stanford_University
dbo:knownFor	dbr:Automated_theorem_proving dbr:Rational_Software dbr:Pascal_(programming_language) dbr:Lisp_(programming_language) dbr:Complex_event_processing
dbo:wikiPageExternalLink	http://www.complexevents.com/david-luckham/ http://genealogy.math.ndsu.nodak.edu/id.php%3Fid=61076
dbo:wikiPageWikiLink	dbr:Master_of_Science dbc:American_computer_scientists dbr:Real-time_computing dbr:Compiler dbr:Massachusetts_Institute_of_Technology dbc:Stanford_University_School_of_Engineering_faculty dbr:Kingston,_Jamaica dbr:Association_for_Computing_Machinery dbr:Automated_theorem_proving dbr:Rational_Software dbc:Living_people dbc:Year_of_birth_missing_(living_people) dbr:Jamaica dbr:Mathematics dbr:United_Kingdom dbr:United_States dbr:World_War_II dbr:High-level_programming_language dbc:Ada_(programming_language) dbc:Lisp_(programming_language)_people dbc:Massachusetts_Institute_of_Technology_alumni dbc:Programming_language_designers dbr:Programming_language dbr:University_of_California,_Los_Angeles dbr:Computer_science dbr:Stanford_University dbr:Pascal_(programming_language) dbr:Institute_of_Electrical_and_Electronics_Engineers dbr:Lisp_(programming_language) dbr:Electrical_engineering dbr:Ada_(programming_language) dbr:Complex_event_processing dbr:Doctor_of_Philosophy dbr:Multiprocessing dbr:Event-driven_programming dbr:The_Blitz dbc:History_of_artificial_intelligence dbr:Mathematics_Genealogy_Project
dbp:almaMater	dbr:Massachusetts_Institute_of_Technology dbr:Doctor_of_Philosophy
dbp:birthPlace	Kingston, Colony of Jamaica, British Empire (en)
dbp:citizenship	United Kingdom, United States (en)
dbp:fields	dbr:Computer_science
dbp:knownFor	dbr:Automated_theorem_proving dbr:Rational_Software dbr:Lisp_(programming_language) dbr:Complex_event_processing Stanford Pascal Verifier (en)
dbp:name	David Luckham (en)
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Reflist dbt:Infobox_scientist dbt:URL dbt:Official_website dbt:Facts dbt:Lisp_programming_language dbt:Short_description
dbp:workplaces	dbr:University_of_California,_Los_Angeles dbr:Stanford_University
dct:subject	dbc:American_computer_scientists dbc:Stanford_University_School_of_Engineering_faculty dbc:Living_people dbc:Year_of_birth_missing_(living_people) dbc:Ada_(programming_language) dbc:Lisp_(programming_language)_people dbc:Massachusetts_Institute_of_Technology_alumni dbc:Programming_language_designers
gold:hypernym	dbr:Professor
schema:sameAs	http://viaf.org/viaf/44924748
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	David Luckham (en)
owl:sameAs	yago-res:David Luckham freebase:David Luckham http://viaf.org/viaf/44924748 wikidata:David Luckham http://d-nb.info/gnd/11131707X dbpedia-mg:David Luckham http://data.bibliotheken.nl/id/thes/p072839619 dbpedia-global:David Luckham dbr:David Luckham
prov:wasDerivedFrom	wikipedia-en:David_Luckham?oldid=1237549195&ns=0
foaf:homepage	http://profiles.stanford.edu/david-luckham http://profiles.stanford.edu/david-luckham
foaf:isPrimaryTopicOf	wikipedia-en:David_Luckham
foaf:name	David Luckham (en)
is dbo:keyPerson of	dbr:Event_Processing_Technical_Society
is dbo:wikiPageRedirects of	dbr:Luckham,_David
is dbo:wikiPageWikiLink of	dbr:Automated_theorem_proving dbr:List_of_programmers dbr:Event_Processing_Technical_Society dbr:Complex_event_processing dbr:Hartley_Rogers_Jr. dbr:List_of_computer_scientists dbr:St_Benedict's_School,_Ealing dbr:Luckham,_David
is foaf:primaryTopic of	wikipedia-en:David_Luckham