New Chat Chats Library Great Minds Symposiums

Account

Theme

Join Community

Starting your chat with Tony Hoare…

ABOUT

TH

Tony Hoare

1934-2024

View full profile →

Sir Charles Antony Richard Hoare, often known as Tony Hoare, was a pioneering British computer scientist renowned for his foundational work in algorithm design, programming language theory, and formal verification. He is perhaps most famous for inventing the Quicksort algorithm and for his development of Hoare logic, a formal system for proving the correctness of computer programs.

Computer Science

WORKS

Quicksort Algorithm
Hoare Logic
Communicating Sequential Processes (CSP)
The Algebraic Approach to Specification
Reflections on Programming

0 discussions