Robert W Floyd
E347190
Robert W. Floyd was an influential American computer scientist and Turing Award laureate known for his pioneering work in algorithms, formal verification, and programming language semantics.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Robert W Floyd canonical | 2 |
How this entity was disambiguated
This entity first appeared as the object of triple T3305999 — 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 W Floyd Context triple: [J Strother Moore, doctoralAdvisor, Robert W Floyd]
-
A.
Alfred V. Aho
Alfred V. Aho is a Canadian computer scientist renowned for his foundational contributions to algorithms, programming languages, and compiler design, and as a co-creator of the AWK programming language.
-
B.
Edsger W. Dijkstra
Edsger W. Dijkstra was a pioneering Dutch computer scientist known for fundamental contributions to algorithms, programming languages, and software engineering, including Dijkstra's algorithm for shortest paths.
-
C.
Jon Bentley
Jon Bentley is a computer scientist and author best known for his influential "Programming Pearls" columns and books on programming techniques and problem solving.
-
D.
Fernando J. Corbató
Fernando J. Corbató was an American computer scientist best known for pioneering time-sharing operating systems and helping to lay the foundations of modern interactive computing.
-
E.
Alan Perlis
Alan Perlis was an American computer scientist and educator renowned for his pioneering work in programming languages and for being the first recipient of the Turing Award.
- 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 W Floyd Target entity description: Robert W. Floyd was an influential American computer scientist and Turing Award laureate known for his pioneering work in algorithms, formal verification, and programming language semantics.
-
A.
Alfred V. Aho
Alfred V. Aho is a Canadian computer scientist renowned for his foundational contributions to algorithms, programming languages, and compiler design, and as a co-creator of the AWK programming language.
-
B.
Edsger W. Dijkstra
Edsger W. Dijkstra was a pioneering Dutch computer scientist known for fundamental contributions to algorithms, programming languages, and software engineering, including Dijkstra's algorithm for shortest paths.
-
C.
Jon Bentley
Jon Bentley is a computer scientist and author best known for his influential "Programming Pearls" columns and books on programming techniques and problem solving.
-
D.
Fernando J. Corbató
Fernando J. Corbató was an American computer scientist best known for pioneering time-sharing operating systems and helping to lay the foundations of modern interactive computing.
-
E.
Alan Perlis
Alan Perlis was an American computer scientist and educator renowned for his pioneering work in programming languages and for being the first recipient of the Turing Award.
- F. None of above. chosen
Statements (50)
| Predicate | Object |
|---|---|
| instanceOf |
Turing Award laureate
ⓘ
computer scientist ⓘ human ⓘ |
| academicDegree | bachelor’s degree in liberal arts ⓘ |
| awardReceived |
ACM Fellow
ⓘ
American Academy of Arts and Sciences Fellowship ⓘ Harry H. Goode Memorial Award ⓘ IEEE Computer Society Pioneer Award ⓘ
linked to:
IEEE Computer Society Computer Pioneer Award
National Academy of Sciences membership ⓘ
linked to:
National Academy of Sciences
National Medal of Science ⓘ Turing Award ⓘ |
| countryOfCitizenship | United States of America ⓘ |
| dateOfBirth | 1936-06-08 ⓘ |
| dateOfDeath | 2001-09-25 ⓘ |
| educatedAt | University of Chicago ⓘ |
| employer |
Carnegie Institute of Technology
ⓘ
linked to:
Carnegie Technical Schools
Stanford University ⓘ |
| familyName | Floyd ⓘ |
| fieldOfWork |
algorithms
ⓘ
automata theory ⓘ compiler theory ⓘ computer science ⓘ formal verification ⓘ programming language semantics ⓘ |
| givenName | Robert ⓘ |
| influenced |
design of programming languages
ⓘ
development of algorithm analysis ⓘ formal methods in software engineering ⓘ |
| knownFor |
pioneering work in algorithms
ⓘ
pioneering work in automatic program verification ⓘ pioneering work in formal verification ⓘ pioneering work in programming language semantics ⓘ |
| languageOfWorkOrName | English ⓘ |
| memberOf |
Association for Computing Machinery
ⓘ
National Academy of Engineering ⓘ |
| notableWork |
Floyd–Warshall algorithm
ⓘ
Floyd’s algorithm for heap construction ⓘ
linked to:
Heapsort
Floyd’s cycle-finding algorithm ⓘ contributions to Hoare logic ⓘ method of inductive assertions ⓘ |
| occupation |
computer scientist
ⓘ
university professor ⓘ |
| placeOfBirth |
New York
ⓘ
New York City ⓘ United States of America ⓘ |
| placeOfDeath |
California
ⓘ
linked to:
California, United States
Stanford ⓘ
linked to:
Stanford University
United States of America ⓘ |
| positionHeld | professor of computer science at Stanford University ⓘ |
| sexOrGender | male ⓘ |
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 W Floyd Description of subject: Robert W. Floyd was an influential American computer scientist and Turing Award laureate known for his pioneering work in algorithms, formal verification, and programming language semantics.
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.