FavAuthor
Tony Hoare
Photo: Rama (CC BY-SA 2.0 fr), Wikimedia Commons

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–2002
    AI suggestion, no reader data yet

    Writes on structured programming, program correctness and formal derivation of algorithms in a rigorous, essayistic style. (AI reason)

    Report
  • Niklaus Wirth1934–
    AI suggestion, no reader data yet

    Focuses on programming language design, simplicity and disciplined construction of algorithms and data structures. (AI reason)

    Report
  • Donald Knuth1938–
    AI suggestion, no reader data yet

    Offers deep, mathematically grounded analysis of algorithms, including sorting and searching. (AI reason)

    Report
  • David Gries1939–
    AI suggestion, no reader data yet

    Presents program derivation and correctness proofs building directly on axiomatic reasoning about programs. (AI reason)

    Report
  • Robin Milner
    AI suggestion, no reader data yet

    Develops process calculi for concurrency closely paralleling communicating sequential processes. (AI reason)

    Report
Show all 10
  • Carroll Morgan1952–
    AI suggestion, no reader data yet

    Writes on refinement calculus and deriving programs from specifications. (AI reason)

    Report
  • Leslie Lamport1941–
    AI suggestion, no reader data yet

    Addresses concurrency, distributed systems and formal specification with logical rigor. (AI reason)

    Report
  • Per Brinch Hansen1938–
    AI suggestion, no reader data yet

    Explores concurrent programming concepts such as monitors and operating system design principles. (AI reason)

    Report

Pick Tony Hoare and a few more favorite authors to get suggestions that fit you.

Get your own suggestions

Known works

  • VDM '90
  • Software and systems safety
  • Mathematical logic and programming languages
  • Mechanized reasoning and hardware design
  • Scientific applications of multiprocessors