Skip to content
◈ALB Atlas

Tony Hoare Alive

Tony Hoare
KindPerson
Born1934
StatusAlive
Fieldtheory
Also known asC. A. R. Hoare
Sourceen.wikipedia.org ↗

Invented Quicksort, Hoare logic, and CSP — and called the null reference his billion-dollar mistake.

Created ALGOL W An Axiomatic Basis for Computer Programming Communicating Sequential Processes The Emperor's Old Clothes Rust

Invented Quicksort, Hoare logic (program verification), and CSP — and gave the 'billion-dollar mistake' apology for inventing the null reference.\n\nTuring Award 1980; 'Communicating Sequential Processes' is the book occam and Go implement.

Sources

  1. en.wikipedia.org/wiki/Tony_Hoare