
If you like Tony Hoare, read these authors
1934–2026 · British computer scientist
Also known as: Antony Hoare, C. A. R. Hoare, C.A.R. Hoare, Charles Antony Richard Hoare, Charles Hoare, Sir Charles Antony Richard Hoare
Similar authors
This list comes from an AI, not yet from reader data. Once enough readers like Tony Hoare, their data replaces the AI suggestions.
- Edsger Wybe Dijkstra1930–2002ReportAI suggestion, no reader data yet
Writes on structured programming, program correctness and formal derivation of algorithms in a rigorous, essayistic style. (AI reason)
- Niklaus Wirth1934–ReportAI suggestion, no reader data yet
Focuses on programming language design, simplicity and disciplined construction of algorithms and data structures. (AI reason)
Donald Knuth1938–ReportAI suggestion, no reader data yetOffers deep, mathematically grounded analysis of algorithms, including sorting and searching. (AI reason)
- David Gries1939–ReportAI suggestion, no reader data yet
Presents program derivation and correctness proofs building directly on axiomatic reasoning about programs. (AI reason)
- Robin MilnerReportAI suggestion, no reader data yet
Develops process calculi for concurrency closely paralleling communicating sequential processes. (AI reason)
Show all 10
- Carroll Morgan1952–ReportAI suggestion, no reader data yet
Writes on refinement calculus and deriving programs from specifications. (AI reason)
Leslie Lamport1941–ReportAI suggestion, no reader data yetAddresses concurrency, distributed systems and formal specification with logical rigor. (AI reason)
- Per Brinch Hansen1938–ReportAI suggestion, no reader data yet
Explores concurrent programming concepts such as monitors and operating system design principles. (AI reason)
Pick Tony Hoare and a few more favorite authors to get suggestions that fit you.
Get your own suggestionsKnown works
- VDM '90
- Software and systems safety
- Mathematical logic and programming languages
- Mechanized reasoning and hardware design
- Scientific applications of multiprocessors