Skip to content
◈ALB Atlas

Robert W. Floyd Dead

Robert W. Floyd
KindPerson
Born1936
Died2001
StatusDead
Fieldtheory
Sourceen.wikipedia.org ↗

Gave us program verification, the Floyd–Warshall algorithm, and the paradigm of proving programs correct.

Invented the Floyd–Warshall algorithm, proof by invariants (assigning meanings to programs, 1967), and co-wrote 'The Art of Computer Programming's' editing.\n\nTuring Award 1978; program verification's founding papers are his.

Sources

  1. en.wikipedia.org/wiki/Robert_W._Floyd