Natarajan Shankar

http://dbpedia.org/resource/Natarajan_Shankar an entity of type: Thing

Natarajan Shankar is a computer scientist working at SRI International in Menlo Park, California, where he leads the Symbolic Analysis Laboratory. rdf:langString
rdf:langString Natarajan Shankar
rdf:langString Natarajan Shankar
rdf:langString Natarajan Shankar
xsd:integer 27864021
xsd:integer 1048430468
xsd:integer 125
rdf:langString Natarajan Shankar is a computer scientist working at SRI International in Menlo Park, California, where he leads the Symbolic Analysis Laboratory.
rdf:langString SRI International Fellow 2009
xsd:nonNegativeInteger 3142
owl:Thing
foaf:Person
dbpedia-owl:Person
<http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson>
<http://www.wikidata.org/entity/Q19088>
<http://www.wikidata.org/entity/Q215627>
<http://www.wikidata.org/entity/Q5>
<http://www.wikidata.org/entity/Q729>
dbpedia-owl:Animal
dbpedia-owl:Eukaryote
dbpedia-owl:Scientist
dbpedia-owl:Species
schema-org:Person
yago:WikicatLivingPeople
yago:WikicatSRIInternationalPeople
<http://www.wikidata.org/entity/Q901>
yago:CausalAgent100007347
yago:ComputerScientist109951070
yago:ComputerUser109951274
yago:LivingThing100004258
yago:Object100002684
yago:Organism100004475
yago:Person100007846
yago:PhysicalEntity100001930
yago:WikicatIndianComputerScientists
yago:YagoLegalActor
yago:YagoLegalActorGeo
yago:Scientist110560637
yago:Whole100003553
<http://dbpedia.org/resource/India>
<http://dbpedia.org/resource/India>
<http://dbpedia.org/resource/Category:Living_people>
<http://dbpedia.org/resource/Category:Year_of_birth_missing_(living_people)>
<http://dbpedia.org/resource/Category:Indian_computer_scientists>
<http://dbpedia.org/resource/Category:SRI_International_people>
<http://dbpedia.org/resource/Category:University_of_Texas_at_Austin_alumni>
<http://dbpedia.org/resource/Cambridge_University_Press>
<http://dbpedia.org/resource/Carolyn_Talcott>
<http://dbpedia.org/resource/Peter_G._Neumann>
<http://dbpedia.org/resource/University_of_Texas_at_Austin>
<http://dbpedia.org/resource/Category:Living_people>
<http://dbpedia.org/resource/Category:Year_of_birth_missing_(living_people)>
<http://dbpedia.org/resource/Computer_Science>
<http://dbpedia.org/resource/Menlo_Park,_California>
<http://dbpedia.org/resource/SRI_International>
<http://dbpedia.org/resource/Godel's_incompleteness_theorem>
<http://dbpedia.org/resource/Stanford_University>
<http://dbpedia.org/resource/Prototype_Verification_System>
<http://dbpedia.org/resource/Category:Indian_computer_scientists>
<http://dbpedia.org/resource/Category:SRI_International_people>
<http://dbpedia.org/resource/John_Rushby>
<http://dbpedia.org/resource/Category:University_of_Texas_at_Austin_alumni>
<http://dbpedia.org/resource/J_Strother_Moore>
<http://dbpedia.org/resource/IIT_Madras>
<http://dbpedia.org/resource/India>
<http://dbpedia.org/resource/Boyer–Moore_theorem_prover>
<http://dbpedia.org/resource/Robert_S._Boyer>
<http://dbpedia.org/resource/Patrick_Lincoln>
<http://dbpedia.org/resource/Church-Rosser>
<http://www.csl.sri.com/users/shankar/>
<http://rdf.freebase.com/ns/m.0cc8tqq>
<http://yago-knowledge.org/resource/Natarajan_Shankar>
<http://d-nb.info/gnd/132285126>
<https://dblp.org/pid/33/1623>
<http://viaf.org/viaf/69020687>
<https://orcid.org/0000-0002-8652-8871>
<http://www.wikidata.org/entity/Q6968405>
<http://data.bibliotheken.nl/id/thes/p130662054>
<https://global.dbpedia.org/id/4sNLx>
<http://dbpedia.org/resource/SRI_International>
<http://dbpedia.org/resource/Template:Authority_control>
<http://dbpedia.org/resource/Template:Reflist>
<http://dbpedia.org/resource/Template:Infobox_scientist>
<http://dbpedia.org/resource/University_of_Texas_at_Austin>
<http://dbpedia.org/resource/IIT_Madras>
<http://dbpedia.org/resource/Computer_Science>
<http://dbpedia.org/resource/Prototype_Verification_System>
<http://dbpedia.org/resource/Scientist>
<http://en.wikipedia.org/wiki/Natarajan_Shankar?oldid=1048430468&ns=0>
<http://dbpedia.org/resource/Computer_Science>
<http://dbpedia.org/resource/University_of_Texas_at_Austin>
<http://dbpedia.org/resource/IIT_Madras>
<http://dbpedia.org/resource/SRI_International>
<http://dbpedia.org/resource/Prototype_Verification_System>
<http://en.wikipedia.org/wiki/Natarajan_Shankar>

data from the linked data cloud