Example image of eyePlorer eyePlorer map for 'Robert Floyd': 1936 2001 Computer scientist June 8 September 25 New York Bachelor's degree Liberal arts Physics University of Chicago Carnegie Mellon University Stanford University Doctor of Philosophy Floyd–Warshall algorithm Graph theory Parsing Floyd-Steinberg dithering Formal verification Sequent Hoare logic Donald Knuth The Art of Computer Programming Analysis of algorithms Formal semantics of programming languages Program synthesis Turing Award Backgammon Hiking Robert Floyd (disambiguation) Floyd's triangle Xavier Fagnon Sardinas–Patterson algorithm List of Ten Outstanding Young Americans Comma operator Harlan Mills List of computer scientists Symposium on Theory of Computing Mallory Robert Tarjan Heapsort Vaughan Pratt History of compiler writing Cycle detection Floyd Patience sorting List of Carnegie Mellon University people Structured programming List of Stanford University people List of University of Chicago people