Sir Antony Hoare is Senior Researcher at Microsoft Research in Cambridge, England, and Research/Professor Emeritus at the University of Oxford. Hoare is the recipient of the A.M. Turing Award for fundamental contributions to the definition and design of programming languages. He has also been awarded the Kyoto Prize in Advanced Technology for pioneering and fundamental contributions to software science. In this oral history Hoare recounts his personal involvement in the development of academic computing science and education at The Queen’s University, Belfast, Northern Ireland, and at the University of Oxford. He discusses his long-time interest in building bridges between university computing science departments and industry. Hoare also details his current work at Microsoft Research in applying assertions and other scientific techniques and theory to industrial operations. He discusses his advocacy of assertions in the maintenance and transformation of legacy code. Hoare also comments on a number of other subjects, including machine translation of languages, artificial intelligence, reasoning under uncertainty, software design and reliability, and project management. The interview includes a discussion of the problem of the preservation and interpretation of code.
Charles Antony Richard Hoare, OH 357. Oral history interview by Philip L. Frana, 17 July 2002, Cambridge, England, U.K. Charles Babbage Institute, University of Minnesota, Minneapolis. http://purl.umn.edu/107362
Hoare, C. A. R. (Charles Antony Richard), 1934-.
Oral history interview with Charles Antony Richard Hoare.
Charles Babbage Institute.
Retrieved from the University of Minnesota Digital Conservancy,
Content distributed via the University of Minnesota's Digital Conservancy may be subject to additional license and use restrictions applied by the depositor.
Showing items related by title, author, creator and subject.
Pagelkopf, Don; Moe, Robert; Lincoln, Neil R.; Krueger, Larry; Krohn, Howard; Kort, Raymon; Hutson, Maurice; Hawley, Charles L.; Grinna, Dennis; Bhend, Bill; Bergmanis, Maris; Alexander, Curt (Charles Babbage Institute, 1975)
Organized discussion moderated by Neil R. Lincoln with eighteen Control Data Corporation (CDC) engineers on computer architecture and design at CDC. Engineers include: Robert Moe, Wayne Specker, Dennis Grinna, Tom Rowan, ...
Robinson, Herbert W. (Herbert William) (Charles Babbage Institute, 1988-07-13)
The Council for Economic and Industry Research, Inc. was formed in 1952 to perform operations research and model building for the U. S. Air Force. In 1953 Robinson took over the project, which was designed to identify ...
Belady, L. A. (Laszlo A.), 1928- (Charles Babbage Institute, 2002-11-21)
Belady discusses his early life and education in Hungary, escape to West Germany during the 1956 revolution, and work as a draftsman at Ford Motor Company in Cologne and as an aerodynamics engineer at Dassault in Paris. ...