Rance Cleaveland
E384577
Rance Cleaveland is a computer scientist known for his work in formal methods and model checking, particularly in the verification of concurrent and distributed systems.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Rance Cleaveland canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T3748626 — 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: Rance Cleaveland Context triple: [E. Allen Emerson, doctoralStudent, Rance Cleaveland]
-
A.
James Harold Wilson
James Harold Wilson was a British Labour Party politician who served as Prime Minister of the United Kingdom in the 1960s and 1970s, known for his focus on modernizing the economy and expanding the welfare state.
-
B.
Al Smith
Al Smith was an American politician and four-term New York governor who became the first Roman Catholic major-party nominee for U.S. president in 1928.
-
C.
Herschel Daugherty
Herschel Daugherty was an American film and television director best known for his prolific work in mid-20th-century TV dramas and anthology series.
-
D.
Terry Dischinger
Terry Dischinger was an American professional basketball player and three-time NBA All-Star who starred in the 1960s, including winning Rookie of the Year and playing for teams such as the Chicago Zephyrs and Detroit Pistons.
-
E.
Alexander Conklin
Alexander Conklin is a high-ranking, morally ambiguous CIA operative who oversees covert programs and serves as a key antagonist in the Bourne series.
- 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: Rance Cleaveland Target entity description: Rance Cleaveland is a computer scientist known for his work in formal methods and model checking, particularly in the verification of concurrent and distributed systems.
-
A.
James Harold Wilson
James Harold Wilson was a British Labour Party politician who served as Prime Minister of the United Kingdom in the 1960s and 1970s, known for his focus on modernizing the economy and expanding the welfare state.
-
B.
Al Smith
Al Smith was an American politician and four-term New York governor who became the first Roman Catholic major-party nominee for U.S. president in 1928.
-
C.
Herschel Daugherty
Herschel Daugherty was an American film and television director best known for his prolific work in mid-20th-century TV dramas and anthology series.
-
D.
Terry Dischinger
Terry Dischinger was an American professional basketball player and three-time NBA All-Star who starred in the 1960s, including winning Rookie of the Year and playing for teams such as the Chicago Zephyrs and Detroit Pistons.
-
E.
Alexander Conklin
Alexander Conklin is a high-ranking, morally ambiguous CIA operative who oversees covert programs and serves as a key antagonist in the Bourne series.
- F. None of above. chosen
Statements (33)
| Predicate | Object |
|---|---|
| instanceOf |
academic
ⓘ
computer scientist ⓘ |
| fieldOfWork |
concurrent systems verification
ⓘ
distributed systems verification ⓘ formal methods ⓘ model checking ⓘ theoretical computer science ⓘ |
| hasGivenTalkOn |
formal methods for distributed systems
ⓘ
model checking of concurrent systems ⓘ verification of reactive systems ⓘ |
| hasPublishedIn |
concurrency theory
ⓘ
formal methods ⓘ model checking ⓘ software verification ⓘ |
| knownFor |
formal methods in software engineering
ⓘ
formal verification of concurrent systems ⓘ formal verification of distributed systems ⓘ model checking techniques ⓘ |
| nationality | American ⓘ |
| notableContribution |
advancement of model checking techniques
ⓘ
application of formal methods to software engineering ⓘ development of methods for verifying concurrent systems ⓘ development of methods for verifying distributed systems ⓘ |
| occupation |
professor
ⓘ
researcher ⓘ |
| researchInterest |
automated verification
ⓘ
process algebras ⓘ specification languages ⓘ state-space exploration ⓘ temporal logic ⓘ verification tools ⓘ |
| worksOn |
formal specification and verification
ⓘ
verification of concurrent and distributed systems ⓘ |
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: Rance Cleaveland Description of subject: Rance Cleaveland is a computer scientist known for his work in formal methods and model checking, particularly in the verification of concurrent and distributed systems.
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.