Natarajan Shankar
E46733
Natarajan Shankar is a computer scientist known for his contributions to automated reasoning and formal methods, particularly in theorem proving and verification.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Natarajan Shankar canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T364411 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Natarajan Shankar Context triple: [Herbrand Award, notableRecipient, Natarajan Shankar]
-
A.
Pradip Krishen
Pradip Krishen is an Indian filmmaker-turned-environmentalist and naturalist known for his documentaries and influential work on urban ecology and tree mapping in India.
-
B.
Dilip Hiro
Dilip Hiro is a British-based Indian author, journalist, and commentator known for his extensive writings on Middle Eastern politics, South Asia, and global geopolitics.
-
C.
P. L. Deshpande
P. L. Deshpande was a celebrated Marathi writer, humorist, actor, and music composer, renowned for his witty literature and contributions to Marathi theatre and cinema.
-
D.
J. N. Singh
J. N. Singh was a prominent political figure associated with the Natal Indian Congress, an organization that represented and advocated for the rights of the Indian community in South Africa.
-
E.
Mahadev Desai
Mahadev Desai was an Indian independence activist, writer, and close associate and secretary of Mahatma Gandhi, known for translating Gandhi’s autobiography into English and documenting the freedom struggle.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Natarajan Shankar Target entity description: Natarajan Shankar is a computer scientist known for his contributions to automated reasoning and formal methods, particularly in theorem proving and verification.
-
A.
Pradip Krishen
Pradip Krishen is an Indian filmmaker-turned-environmentalist and naturalist known for his documentaries and influential work on urban ecology and tree mapping in India.
-
B.
Dilip Hiro
Dilip Hiro is a British-based Indian author, journalist, and commentator known for his extensive writings on Middle Eastern politics, South Asia, and global geopolitics.
-
C.
P. L. Deshpande
P. L. Deshpande was a celebrated Marathi writer, humorist, actor, and music composer, renowned for his witty literature and contributions to Marathi theatre and cinema.
-
D.
J. N. Singh
J. N. Singh was a prominent political figure associated with the Natal Indian Congress, an organization that represented and advocated for the rights of the Indian community in South Africa.
-
E.
Mahadev Desai
Mahadev Desai was an Indian independence activist, writer, and close associate and secretary of Mahatma Gandhi, known for translating Gandhi’s autobiography into English and documenting the freedom struggle.
- F. None of above. chosen
Statements (25)
| Predicate | Object |
|---|---|
| instanceOf |
computer scientist
ⓘ
researcher ⓘ |
| citizenship |
United States
ⓘ
linked to:
United States of America
|
| countryOfResidence |
United States
ⓘ
linked to:
United States of America
|
| educatedAt |
Indian Institute of Technology Madras
ⓘ
University of Texas at Austin ⓘ |
| employer |
SRI International
ⓘ
linked to:
Stanford Research Institute
|
| fieldOfWork |
automated reasoning
ⓘ
computer science ⓘ decision procedures ⓘ formal methods ⓘ logic in computer science ⓘ program verification ⓘ theorem proving ⓘ verification of hardware and software systems ⓘ |
| hasAcademicAdvisor | Robert S. Boyer ⓘ |
| knownFor |
contributions to automated reasoning
ⓘ
contributions to formal methods ⓘ work on theorem proving ⓘ work on verification ⓘ |
| languageSpoken | English ⓘ |
| memberOf |
SRI International Computer Science Laboratory
ⓘ
linked to:
Stanford Research Institute
|
| notableWork |
research on decision procedures for verification
ⓘ
research on mechanized theorem proving ⓘ |
| workLocation | Menlo Park, California ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: Natarajan Shankar Description of subject: Natarajan Shankar is a computer scientist known for his contributions to automated reasoning and formal methods, particularly in theorem proving and verification.
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.