Robert W Floyd

E347190

Turing Award laureate computer scientist human

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.

Try in SPARQL Jump to: Surface forms Disambiguation Statements Elicitation Referenced by

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	Fellow of the Association for Computing Machinery ⓘ surface form: ACM Fellow American Academy of Arts and Sciences fellowship ⓘ surface form: American Academy of Arts and Sciences Fellowship Harry H. Goode Memorial Award ⓘ IEEE Computer Society Computer Pioneer Award ⓘ surface form: IEEE Computer Society Pioneer Award National Academy of Sciences ⓘ surface form: National Academy of Sciences membership 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 Technical Schools ⓘ surface form: Carnegie Institute of Technology 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 ⓘ Heapsort ⓘ surface form: Floyd’s algorithm for heap construction 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, United States ⓘ surface form: California Stanford University ⓘ surface form: Stanford United States of America ⓘ
positionHeld	professor of computer science at Stanford University ⓘ
sexOrGender	male ⓘ

How these facts were elicited

Referenced by (2)

Full triples — surface form annotated when it differs from this entity's canonical label.

J Strother Moore → doctoralAdvisor → Robert W Floyd ⓘ

J Strother Moore → influencedBy → Robert W Floyd ⓘ

All labels observed (1)

How this entity was disambiguated Show

Statements (50)

How these facts were elicited Show

Referenced by (2)

How this entity was disambiguated

How these facts were elicited