https://historyofhackers.org/people/robert-floyd.html
Robert W. Floyd - History of Hackers
American computer scientist whose work on algorithms and formal methods—including Floyd–Warshall and Floyd–Hoare logic—helped establish program verification.
robert w floydhistoryhackers