Information Science

Antony Hoare

U. K. / January 11, 1934
Computer Scientist; Professor Emeritus, University of Oxford

"Pioneering and fundamental contributions to 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.

BRIEF 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-present	Professor Emeritus, Oxford University

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, IEE
1999	Knight
	Honorary 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
1989	Essays in Computing Science, Prentice Hall
PAPERS
1962	Quicksort. Computer Journal 5 (1)
1969	An axiomatic basis for computer programming. Communications of the ACM Vol.12
1973	An axiomatic definition of the programming language PASCAL. Acta Informatica 2 (4)
1974	An operating system structuring concept. Communications of the ACM 17 (10)
1978	Communicating sequential processes. Communications of the ACM 2 (18)
1993	Programs are predicates. ICOT Journal 38

[Back to Top]