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 |
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 ⓘ |
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.