About: Deepak Kapur

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

Computer Scientist, Ph.D. Massachusetts Institute of Technology 1980

Property	Value
dbo:academicDiscipline	dbr:Automated_reasoning dbr:Formal_methods dbr:Rewriting dbr:Unification_(computer_science) dbr:Computer_algebra
dbo:almaMater	dbr:IIT_Kanpur dbr:Massachusetts_Institute_of_Technology
dbo:award	dbr:Herbrand_Award
dbo:birthDate	1950-08-24 (xsd:date)
dbo:birthPlace	dbr:Amritsar
dbo:description	Computer Scientist, Ph.D. Massachusetts Institute of Technology 1980 (en)
dbo:doctoralAdvisor	dbr:Barbara_Liskov
dbo:wikiPageExternalLink	https://www.cs.unm.edu/~kapur/ https://link.springer.com/article/10.1007/BF00245463%7Cjournal=Journal https://link.springer.com/chapter/10.1007/978-1-4613-9647-5_1%7Cjournal=Computers https://link.springer.com/chapter/10.1007/BFb0012831%7Cjournal=9th https://epubs.siam.org/doi/abs/10.1137/S0036142995281504%7Cjournal=SIAM http://drops.dagstuhl.de/opus/volltexte/2006/511%7Cjournal=Deduction https://books.google.com/books%3Fid=fIZQAAAAMAAJ%7Ctitle=Symbolic https://doi.org/10.1145/190347.190372%7Cjournal=Proceedings https://dl.acm.org/doi/10.5555/1623611.1623710 https://dl.acm.org/doi/abs/10.1016/S0747-7171%2888%2980020-8 https://www.sciencedirect.com/science/article/abs/pii/0004370288900483 https://www.sciencedirect.com/science/article/pii/S0747717104000148 https://www.sciencedirect.com/science/article/pii/S0747717107000107%7Cjournal=Journal https://www.sciencedirect.com/science/article/pii/S0747717186800074%7Cjournal=Journal https://www.sciencedirect.com/science/article/pii/S0747717187800275%7Cjournal=Journal https://www.sciencedirect.com/science/article/pii/S107731429790669X https://www.sciencedirect.com/sciencekke/article/abs/pii/0004370287900178%7Cjournal=Artificial https://dx.doi.org/10.1016/0898-1221%2894%2900218-A%7Cjournal=Computers https://core.ac.uk/display/360732877 https://mitpress.mit.edu/books/geometric-reasoning%7Caccess-date=2021-06-06%7Cwebsite=mitpress.mit.edu%7Cpublisher=MIT
dbo:wikiPageWikiLink	dbc:Living_people dbc:IIT_Kanpur_alumni dbc:Indian_computer_scientists dbr:Massachusetts_Institute_of_Technology dbr:Automated_reasoning dbr:Journal_of_Automated_Reasoning dbr:Journal_of_Symbolic_Computation dbr:Formal_methods dbr:Herbrand_Award dbr:Amritsar dbr:Max_Planck_Institute_for_Informatics dbr:University_of_New_Mexico dbr:Barbara_Liskov dbr:Indian_Institutes_of_Technology dbr:Unification_(computer_science) dbc:1950_births dbc:University_of_New_Mexico_faculty dbc:Massachusetts_Institute_of_Technology_alumni dbr:Indian_Institute_of_Technology,_Delhi dbr:Indian_Institute_of_Technology_Kanpur dbr:Term_rewriting dbr:Symbolic_computation dbr:Tata_Institute_of_Fundamental_Research,_Mumbai
dbp:almaMater	dbr:IIT_Kanpur dbr:Massachusetts_Institute_of_Technology
dbp:awards	dbr:Herbrand_Award
dbp:birthDate	1950-08-24 (xsd:date)
dbp:birthPlace	Amritsar, Punjab, India (en)
dbp:doctoralAdvisor	dbr:Barbara_Liskov
dbp:fields	dbr:Automated_reasoning dbr:Formal_methods dbr:Rewriting dbr:Unification_(computer_science) dbr:Computer_algebra
dbp:nationality	Indian, American (en)
dbp:spouse	Roli Varma (en)
dbp:thesisTitle	Towards a Theory of Abstract Data Types. (en)
dbp:thesisYear	1980 (xsd:integer)
dbp:website	https://www.cs.unm.edu/~kapur/
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:! dbt:Authority_control dbt:BLP_unreferenced_section dbt:Birth_date_and_age dbt:Blockquote dbt:Citation_needed dbt:Cite_journal dbt:Excessive_examples dbt:Infobox_scientist dbt:Reflist
dct:subject	dbc:Living_people dbc:IIT_Kanpur_alumni dbc:Indian_computer_scientists dbc:1950_births dbc:University_of_New_Mexico_faculty dbc:Massachusetts_Institute_of_Technology_alumni
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:Scientist dbo:Species dbo:Species schema:Person
rdfs:label	Deepak Kapur (en)
owl:sameAs	wikidata:Deepak Kapur dbpedia-global:Deepak Kapur
prov:wasDerivedFrom	wikipedia-en:Deepak_Kapur?oldid=1291706390&ns=0
foaf:homepage	https://www.cs.unm.edu/~kapur/ https://www.cs.unm.edu/~kapur/
foaf:isPrimaryTopicOf	wikipedia-en:Deepak_Kapur
is dbo:wikiPageWikiLink of	dbr:Herbrand_Award dbr:History_of_the_Standard_Template_Library dbr:Kapoor
is foaf:primaryTopic of	wikipedia-en:Deepak_Kapur