2000 Kyoto Prize Laureates

Advanced Technology

Information Science

Antony Hoare

/  Computer Scientist

1934 -

Professor Emeritus, University of Oxford

Commemorative Lectures

Stories from a Life in Interesting Times

2000

11 /11 Sat

Place:Kyoto International Conference Center

Workshop

Developing Powerful, yet Reliable Software Systems

2000

11 /12 Sun

13:00 - 17:10

Place:Kyoto International Conference Center

Achievement Digest

Pioneering and Fundamental Contributions to the Progress of Software Science

From the early 1960s, at the beginning of the shift to large-scale, large-capacity computers, Professor Hoare presented Hoare’s Logic on the definition and design of programming languages and a number of other papers on specification, design, implementation and maintenance of programs, applying his axiomatic approach for better computer performance and greater software reliability. He is a computer scientist who has made significant contributions to the development of software science.

Citation

Over the last four decades, Professor Hoare has presented a number of innovative ideas, including his axiomatic approach for greater software reliability, thus making fundamental contributions to software science.

In the early 1960s, Professor Hoare developed Quicksort, the first efficient algorithm for sorting sequences and the one that is most extensively used today. It is groundbreaking in that it employs a basic algorithm that can be expressed in simple recursive descriptions, and is a high-speed, elaborate technique which made full use of what were then the latest computers.

In 1969, Professor Hoare made yet another contribution to the definition and design of programming languages by employing techniques now popularly referred to as Hoare’s Logic. The brainchild of his profound insight and originality, this powerful yet elegant achievement marked a milestone in the history of software science and helped establish programming as an exact science.

During the latter half of the 1960s, when development of large-scale software was urgently required for large-scale, large-capacity computers, people often spoke of a “software crisis” due to the difficulties involved in development and the low reliability of the new systems. Professor Hoare responded by exploiting Hoare’s Logic to provide a clear guideline showing that the validity of programs must be proven logically. In an attempt to provide a methodology with which to assure the validity and reliability of structured software, he defined the concept of data types, emphasizing the importance of structured data, and initiated the notion of structured programming, which details programs in stages based on hierarchy and conceptualization. His conception of data types and rules for verification became a prime force in overcoming the software crisis, as these served as a fundamental guideline for creating quality programs.

In 1972, Professor Hoare came up with the idea of monitors through his research into conceptualization and structuring of operating systems, which later led to his contribution of CSP(Communicating Sequential Processes), a logical framework for describing the behavior of parallel processing systems. This theory laid the groundwork for the practical use of parallel processing computers, with a substantial impact on their diffusion.

Each of his contributions to software science is closely linked to a core of ever-advancing and diversifying computer software, and stands unchallenged in scope and theoretical depth, thus providing the technical foundation essential to the creation of a secure information society. Without his achievements, progress in software science and engineering as we know them today would have been quite different.

For these reasons, the Inamori Foundation is pleased to bestow upon Professor Hoare the 2000 Kyoto Prize in Advanced Technology.

Profile

Biography
1934
Born in Colombo, Sri Lanka
1956
Certificate in Statistics, Merton College, Oxford
1960
Elliott Bros. (London) Ltd.
1966
Chief Scientist, Computing Research Laboratory
1968
Chief Consultant, The National Computing Centre
1968
Professor of Computing Science, The Queen’s University of Belfast
1977
James Martin Professor of Computing, Oxford University
1991
Director of the University Computing Laboratory
1999
Professor Emeritus, Oxford University
Selected Awards and Honors
1973
Programming Systems and Languages Award, ACM
1980
Turing Award, ACM
1981
Harry Goode Memorial Award, AFIP
1982
Fellow of the Royal Society
1985
Faraday Medal, IEEE
1999
KnightHonorary Doctor of Science: Warwick University, Pennsylvania University, The Queen’s University of Balfast, University of York, University of Essex
Major Works
BOOKS
1972
Structured Programming, Academic Press, 1972
1989
Essays in Computing Science, Prentice Hall, 1989
PAPERS
1962
Quicksort. Computer Journal 5 (1), 1962
1969
An axiomatic basis for computer programming. Communications of the ACM Vol.12, 1969
1973
An axiomatic definition of the programming language PASCAL. Acta Informatica 2 (4), 1973
1974
An operating system structuring concept. Communications of the ACM 17 (10), 1974
1978
Communicating sequential processes. Communications of the ACM 2 (18), 1978
1993
Programs are predicates. ICOT Journal 38, 1993

Profile is at the time of the award.