C.A.R. Hoare

1990 Computer Pioneer Award
________________________________________________

 

"For programming languages definitions"

 

Antony Hoare is a senior researcher in the Programming Principles and Tools group at Microsoft Research Cambridge (U.K.)

Hoare's interest in computing was awakened in the early 1950s when he became fascinated by the power of logic and mathematics as a system for proving mathematical certainties. In 1959, while studying machine translation of languages in Moscow, he invented the now well-known sorting algorithm Quicksort.

He returned to England the following year and worked as a programmer for Elliott Brothers, a small British scientific computer manufacturer, designing the first commercial Algol 60 compiler. Hoare continued at Elliot Brothers as Chief Engineer, guiding a series of difficult projects until 1968 when he became Professor of Computing Science at Queen's University, Belfast.

Throughout much of the 1960s and '70s, a central concern among computer scientists was a 'software crisis' caused by the increasing complexity of computer software and systems. This inspired Hoare, who moved to Oxford University in 1977, to devise a system of logical rules (now known as 'Hoare's Logic') that any programmer could follow, in the process helping to move the writing of software from a somewhat mystical discipline into a field with solid foundations.

Other results of his research include the Z specification language, the CSP concurrent programming model, and a method of analyzing the performance of parallel computing systems.

Throughout his more than thirty years as a scholar, Hoare has maintained strong contacts with industry through consultancy, teaching, and collaborative research projects. He is the author of hundreds of papers and was knighted by Her Majesty Queen Elizabeth II in 2000.