Robert Shostak
E467811
Robert Shostak is a computer scientist known for his foundational work in distributed computing and fault-tolerant consensus, including co-authoring the seminal paper on the Byzantine Generals Problem.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Robert Shostak canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T4765340 — 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: Robert Shostak Context triple: [Byzantine Generals Problem, hasAuthor, Robert Shostak]
-
A.
Allan H. Meltzer
Allan H. Meltzer was an influential American economist known for his extensive work on monetary policy, central banking, and his authoritative history of the Federal Reserve.
-
B.
Lev Okun
Lev Okun was a prominent Soviet theoretical physicist known for his influential work in particle physics and contributions to the understanding of quarks, weak interactions, and the foundations of quantum field theory.
-
C.
Michael D. Bordo
Michael D. Bordo is an economic historian known for his influential research on monetary history and policy, often focusing on financial crises and the evolution of central banking.
-
D.
Max Abramovitz
Max Abramovitz was a prominent American architect known for his modernist designs of major cultural and institutional buildings, including notable performance arts centers and university facilities.
-
E.
Karl E. Case
Karl E. Case was an American economist best known for co-developing the widely used Case-Shiller Home Price Index that tracks U.S. residential real estate prices.
- 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: Robert Shostak Target entity description: Robert Shostak is a computer scientist known for his foundational work in distributed computing and fault-tolerant consensus, including co-authoring the seminal paper on the Byzantine Generals Problem.
-
A.
Allan H. Meltzer
Allan H. Meltzer was an influential American economist known for his extensive work on monetary policy, central banking, and his authoritative history of the Federal Reserve.
-
B.
Lev Okun
Lev Okun was a prominent Soviet theoretical physicist known for his influential work in particle physics and contributions to the understanding of quarks, weak interactions, and the foundations of quantum field theory.
-
C.
Michael D. Bordo
Michael D. Bordo is an economic historian known for his influential research on monetary history and policy, often focusing on financial crises and the evolution of central banking.
-
D.
Max Abramovitz
Max Abramovitz was a prominent American architect known for his modernist designs of major cultural and institutional buildings, including notable performance arts centers and university facilities.
-
E.
Karl E. Case
Karl E. Case was an American economist best known for co-developing the widely used Case-Shiller Home Price Index that tracks U.S. residential real estate prices.
- F. None of above. chosen
Statements (38)
| Predicate | Object |
|---|---|
| instanceOf |
computer scientist
ⓘ
researcher ⓘ |
| academicDegree | PhD in computer science ⓘ |
| birthPlace | Toronto NERFINISHED ⓘ |
| citations | highly cited in distributed systems literature ⓘ |
| citizenship |
United States of America
ⓘ
surface form:
United States
|
| coAuthorOf | Byzantine Generals Problem NERFINISHED ⓘ |
| coAuthorWith |
Leslie Lamport
NERFINISHED
ⓘ
Marshall Pease NERFINISHED ⓘ |
| contributedTo |
decision procedures for theories in automated deduction
ⓘ
formalization of Byzantine faults in distributed systems ⓘ theory of Byzantine agreement ⓘ |
| doctoralThesis | Decidability and definability in first-order theories of real addition with order NERFINISHED ⓘ |
| educatedAt |
Harvard University
ⓘ
University of Toronto ⓘ |
| employer |
DEC Systems Research Center
NERFINISHED
ⓘ
Oracle Corporation NERFINISHED ⓘ SRI International NERFINISHED ⓘ |
| fieldOfWork |
automated theorem proving
ⓘ
computer science ⓘ consensus in distributed systems ⓘ distributed computing ⓘ fault-tolerant computing ⓘ |
| genre | scientific paper ⓘ |
| hasAcademicAdvisor | Patrick C. Fischer NERFINISHED ⓘ |
| influenced | design of fault-tolerant distributed algorithms ⓘ |
| knownFor |
Byzantine fault tolerance theory
NERFINISHED
ⓘ
Shostak decision procedure in automated reasoning NERFINISHED ⓘ foundational work on distributed consensus ⓘ work on fault-tolerant consensus algorithms ⓘ |
| memberOf | research community in distributed computing ⓘ |
| nationality | American ⓘ |
| notableConcept |
Byzantine agreement
NERFINISHED
ⓘ
Byzantine faults ⓘ |
| notableWork | Byzantine Generals Problem NERFINISHED ⓘ |
| positionHeld |
distinguished engineer at Oracle
ⓘ
researcher at DEC Systems Research Center ⓘ researcher at SRI International ⓘ |
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: Robert Shostak Description of subject: Robert Shostak is a computer scientist known for his foundational work in distributed computing and fault-tolerant consensus, including co-authoring the seminal paper on the Byzantine Generals Problem.
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.