| Birthplace
|
http://dbpedia.org/resource/India +
|
| http://dbpedia.org/ontology/abstract
|
Natarajan Shankar is a computer scientist working at SRI International in Menlo Park, California, where he leads the Symbolic Analysis Laboratory.
|
| http://dbpedia.org/ontology/academicDiscipline
|
http://dbpedia.org/resource/Computer_Science +
|
| http://dbpedia.org/ontology/almaMater
|
http://dbpedia.org/resource/University_of_Texas_at_Austin +
, http://dbpedia.org/resource/IIT_Madras +
|
| http://dbpedia.org/ontology/award
|
http://dbpedia.org/resource/SRI_International +
|
| http://dbpedia.org/ontology/knownFor
|
http://dbpedia.org/resource/Prototype_Verification_System +
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
http://www.csl.sri.com/users/shankar/ +
|
| http://dbpedia.org/ontology/wikiPageID
|
27864021
|
| http://dbpedia.org/ontology/wikiPageLength
|
3142
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1048430468
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Category:University_of_Texas_at_Austin_alumni +
, http://dbpedia.org/resource/John_Rushby +
, http://dbpedia.org/resource/Stanford_University +
, http://dbpedia.org/resource/SRI_International +
, http://dbpedia.org/resource/Carolyn_Talcott +
, http://dbpedia.org/resource/Godel%27s_incompleteness_theorem +
, http://dbpedia.org/resource/Boyer%E2%80%93Moore_theorem_prover +
, http://dbpedia.org/resource/Cambridge_University_Press +
, http://dbpedia.org/resource/India +
, http://dbpedia.org/resource/Peter_G._Neumann +
, http://dbpedia.org/resource/Category:Year_of_birth_missing_%28living_people%29 +
, http://dbpedia.org/resource/Menlo_Park%2C_California +
, http://dbpedia.org/resource/J_Strother_Moore +
, http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/Patrick_Lincoln +
, http://dbpedia.org/resource/Robert_S._Boyer +
, http://dbpedia.org/resource/Church-Rosser +
, http://dbpedia.org/resource/Category:SRI_International_people +
, http://dbpedia.org/resource/IIT_Madras +
, http://dbpedia.org/resource/Computer_Science +
, http://dbpedia.org/resource/University_of_Texas_at_Austin +
, http://dbpedia.org/resource/Prototype_Verification_System +
, http://dbpedia.org/resource/Category:Indian_computer_scientists +
|
| http://dbpedia.org/property/almaMater
|
http://dbpedia.org/resource/IIT_Madras +
, http://dbpedia.org/resource/University_of_Texas_at_Austin +
|
| http://dbpedia.org/property/birthPlace
|
http://dbpedia.org/resource/India +
|
| http://dbpedia.org/property/field
|
http://dbpedia.org/resource/Computer_Science +
|
| http://dbpedia.org/property/imageSize
|
125
|
| http://dbpedia.org/property/knownFor
|
http://dbpedia.org/resource/Prototype_Verification_System +
|
| http://dbpedia.org/property/name
|
Natarajan Shankar
|
| http://dbpedia.org/property/prizes
|
SRI International Fellow 2009
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Authority_control +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Infobox_scientist +
|
| http://dbpedia.org/property/workInstitution
|
http://dbpedia.org/resource/SRI_International +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:University_of_Texas_at_Austin_alumni +
, http://dbpedia.org/resource/Category:SRI_International_people +
, http://dbpedia.org/resource/Category:Year_of_birth_missing_%28living_people%29 +
, http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/Category:Indian_computer_scientists +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Scientist +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Natarajan_Shankar?oldid=1048430468&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Natarajan_Shankar +
|
| http://xmlns.com/foaf/0.1/name
|
Natarajan Shankar
|
| owl:sameAs |
http://d-nb.info/gnd/132285126 +
, http://viaf.org/viaf/69020687 +
, https://dblp.org/pid/33/1623 +
, https://global.dbpedia.org/id/4sNLx +
, http://rdf.freebase.com/ns/m.0cc8tqq +
, http://dbpedia.org/resource/Natarajan_Shankar +
, http://www.wikidata.org/entity/Q6968405 +
, http://yago-knowledge.org/resource/Natarajan_Shankar +
, http://data.bibliotheken.nl/id/thes/p130662054 +
, https://orcid.org/0000-0002-8652-8871 +
|
| rdf:type |
http://dbpedia.org/class/yago/LivingThing100004258 +
, http://dbpedia.org/ontology/Person +
, http://dbpedia.org/ontology/Scientist +
, http://dbpedia.org/class/yago/Organism100004475 +
, http://dbpedia.org/class/yago/YagoLegalActorGeo +
, http://dbpedia.org/class/yago/YagoLegalActor +
, http://dbpedia.org/class/yago/PhysicalEntity100001930 +
, http://dbpedia.org/class/yago/WikicatIndianComputerScientists +
, http://dbpedia.org/class/yago/Whole100003553 +
, http://dbpedia.org/class/yago/ComputerScientist109951070 +
, http://www.wikidata.org/entity/Q901 +
, http://dbpedia.org/class/yago/ComputerUser109951274 +
, http://www.wikidata.org/entity/Q19088 +
, http://dbpedia.org/class/yago/Object100002684 +
, http://schema.org/Person +
, http://dbpedia.org/class/yago/WikicatLivingPeople +
, http://dbpedia.org/ontology/Species +
, http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson +
, http://dbpedia.org/class/yago/Person100007846 +
, http://www.wikidata.org/entity/Q215627 +
, http://dbpedia.org/class/yago/WikicatSRIInternationalPeople +
, http://dbpedia.org/class/yago/Scientist110560637 +
, http://dbpedia.org/class/yago/CausalAgent100007347 +
, http://dbpedia.org/ontology/Animal +
, http://www.wikidata.org/entity/Q729 +
, http://xmlns.com/foaf/0.1/Person +
, http://dbpedia.org/ontology/Eukaryote +
, http://www.wikidata.org/entity/Q5 +
|
| rdfs:comment |
Natarajan Shankar is a computer scientist working at SRI International in Menlo Park, California, where he leads the Symbolic Analysis Laboratory.
|
| rdfs:label |
Natarajan Shankar
|
