About: Elaine Kant

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

American computer scientist

Property	Value
dbo:academicDiscipline	dbr:Computational_finance dbr:Artificial_intelligence dbr:Computer_science
dbo:almaMater	dbr:Massachusetts_Institute_of_Technology dbr:Stanford_University
dbo:award	dbr:Association_for_the_Advancement_of_Artificial_Intelligence dbr:American_Association_for_the_Advancement_of_Science dbr:Hertz_Foundation
dbo:description	American computer scientist (en)
dbo:knownFor	dbr:Computational_finance dbr:Artificial_intelligence dbr:Program_synthesis
dbp:almaMater	dbr:Massachusetts_Institute_of_Technology dbr:Stanford_University
dbp:awards	dbr:Association_for_the_Advancement_of_Artificial_Intelligence dbr:American_Association_for_the_Advancement_of_Science dbr:Hertz_Foundation
dbp:cs1Dates	ly (en)
dbp:date	June 2024 (en)
dbp:fields	dbr:Computational_finance dbr:Artificial_intelligence dbr:Computer_science
dbp:knownFor	dbr:Computational_finance dbr:Artificial_intelligence dbr:Program_synthesis
dbp:name	Elaine Kant (en)
dbp:thesisTitle	Efficiency Considerations in Program Synthesis: A Knowledge-Based Approach (en)
dbp:thesisYear	1979 (xsd:integer)
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:CS1_config dbt:Infobox_scientist dbt:R dbt:Reflist dbt:Short_description dbt:Use_dmy_dates dbt:Use_list-defined_references
dbp:workInstitutions	dbr:Carnegie_Mellon_University dbr:Schlumberger dbr:Querium dbr:SciComp
dct:subject	dbc:Living_people dbc:Year_of_birth_missing_(living_people) dbc:Stanford_University_alumni dbc:Massachusetts_Institute_of_Technology_alumni dbc:Fellows_of_the_American_Association_for_the_Advancement_of_Science dbc:Fellows_of_the_Association_for_the_Advancement_of_Artificial_Intelligence dbc:American_computer_scientists dbc:Carnegie_Mellon_University_faculty dbc:American_artificial_intelligence_researchers dbc:American_women_computer_scientists
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:Species dbo:Species schema:Person
rdfs:label	Elaine Kant (en)
prov:wasDerivedFrom	wikipedia-en:Elaine_Kant?oldid=1252894255&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Elaine_Kant
foaf:name	Elaine Kant (en)
is dbo:wikiPageWikiLink of	dbr:OPS5
is foaf:primaryTopic of	wikipedia-en:Elaine_Kant