Kedar Namjoshi
E384576
Kedar Namjoshi is a computer scientist known for his work in formal verification and model checking, particularly in the context of concurrent and distributed systems.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Kedar Namjoshi canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T3748625 — 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: Kedar Namjoshi Context triple: [E. Allen Emerson, doctoralStudent, Kedar Namjoshi]
-
A.
Rajiv Joseph
Rajiv Joseph is an American playwright known for his darkly comic, emotionally resonant works such as the Pulitzer Prize–finalist play "Bengal Tiger at the Baghdad Zoo."
-
B.
Doug Mahon
Doug Mahon is a technology entrepreneur best known as a founder of the data storage company Seagate Technology.
-
C.
Niraja Gopal Jayal
Niraja Gopal Jayal is an Indian political scientist and scholar of democracy, citizenship, and the Indian state, known for her influential work on political representation and public institutions.
-
D.
Tracy K. Smith
Tracy K. Smith is an acclaimed American poet and former U.S. Poet Laureate whose work explores history, identity, and the cosmos.
-
E.
Denise Levertov
Denise Levertov was a British-born American poet known for her lyrical, politically engaged work and her association with mid-20th-century avant-garde and postmodern poetry movements.
- 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: Kedar Namjoshi Target entity description: Kedar Namjoshi is a computer scientist known for his work in formal verification and model checking, particularly in the context of concurrent and distributed systems.
-
A.
Rajiv Joseph
Rajiv Joseph is an American playwright known for his darkly comic, emotionally resonant works such as the Pulitzer Prize–finalist play "Bengal Tiger at the Baghdad Zoo."
-
B.
Doug Mahon
Doug Mahon is a technology entrepreneur best known as a founder of the data storage company Seagate Technology.
-
C.
Niraja Gopal Jayal
Niraja Gopal Jayal is an Indian political scientist and scholar of democracy, citizenship, and the Indian state, known for her influential work on political representation and public institutions.
-
D.
Tracy K. Smith
Tracy K. Smith is an acclaimed American poet and former U.S. Poet Laureate whose work explores history, identity, and the cosmos.
-
E.
Denise Levertov
Denise Levertov was a British-born American poet known for her lyrical, politically engaged work and her association with mid-20th-century avant-garde and postmodern poetry movements.
- F. None of above. chosen
Statements (37)
| Predicate | Object |
|---|---|
| instanceOf | computer scientist ⓘ |
| fieldOfWork |
automated reasoning
ⓘ
concurrent systems ⓘ distributed systems ⓘ formal verification ⓘ hardware verification ⓘ model checking ⓘ program verification ⓘ software model checking ⓘ |
| hasResearchInterest |
abstraction refinement
ⓘ
automata theory ⓘ automated verification of concurrent programs ⓘ compositional reasoning ⓘ concurrency theory ⓘ distributed algorithms ⓘ formal methods for distributed systems ⓘ formal specification ⓘ liveness properties ⓘ logic in computer science ⓘ model checking of infinite-state systems ⓘ parameterized verification ⓘ program synthesis ⓘ safety properties ⓘ software reliability ⓘ state-space reduction techniques ⓘ static analysis ⓘ symbolic model checking ⓘ temporal logic ⓘ verification of communication protocols ⓘ verification of concurrent data structures ⓘ verification of distributed systems ⓘ |
| notableFor |
research on abstraction techniques for model checking
ⓘ
research on compositional verification ⓘ research on symmetry reduction in model checking ⓘ research on verification of parameterized systems ⓘ work on formal verification of concurrent systems ⓘ work on model checking of distributed protocols ⓘ |
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: Kedar Namjoshi Description of subject: Kedar Namjoshi is a computer scientist known for his work in formal verification and model checking, particularly in the context of concurrent and distributed systems.
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.