Research Areas

Sir Charles Antony Richard Hoare is a British computer scientist who recieved the ACM Turing Award for "his fundamental contributions to the definition and design of programming languages."

Quicksort

Explanation of widely used sorting algorithm invented by Hoare

Hoare Logic

Hoare's general principles behind Hoare Logic

CSP

Hoare's general principles behind Communicating Sequential Processes