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.
Waychoff, Richard; Turner, Lloyd; Rosin, Robert F.; Pearson, Ralph W.; Oliphint, G. Clark; MacKenzie, F. Brad; MacDonald, Ray W.; MacDonald, Duncan N.; Lonergan, William D.; Kreuder, Norman L.; King, Paul D.; Hootman, Joseph T.; Hauck, Erwin A.; Hale, John E.; Galler, Bernard A., 1928-; Ford, James; Eppert, Ray R., 1902-; Dent, Benjamin A.; Dahm, David M.; Creech, Bobby A.; Collins, George A.; Berce, Henri; Barton, Robert S. (Charles Babbage Institute, 1985-09-06)
The Burroughs 5000 computer series is discussed by individuals responsible for its development and marketing from 1957 through the 1960s in a conference sponsored by AFIPS and Burroughs Corporation.
In the first session ...
Bricklin, Dan; Frankston, Bob (Charles Babbage Institute, 2004-05-07)
Dan Bricklin and Bob Frankston discuss the creation of VisiCalc, the pioneering spreadsheet application. Bricklin and Frankston begin by discussing their educational backgrounds and experiences in computing, especially ...
Svoboda, Antonín (Charles Babbage Institute, 1979-11-15)
Svoboda describes his research on computing in Czechoslovakia, France, and the United States. He begins by discussing his early career: his electrical engineering education in Prague, the differential analyzer he built for ...