Necrology:
C. A. R. Hoare [Charles Antony Richard]
(11 Jan. 1934 [Colombo, Ceylon] - 5 Mar. 2026 [Cambridge, England])
no doctorate.
student of John R. Lucas.
Professor of computation, Programming research division, Computing laboratory, Univ. of Oxford, 1977-1999.
husband of Jill Pym.
Home page
`Hoare's interest in computing was awakened in
the early 1950s, when he studied philosophy (together with Latin and
Greek) at the Univ. of Oxford, under the tutelage of John R. Lucas. He was fascinated by
the power of mathematical logic as an explanation of the apparent certainty of mathematical truth.'
