Obituaries and Appreciations
Rod Burstall
Formal Aspects of Computing J. Strother Moore, Gordon Plotkin, David Rydeheard, Don Sannella. Formal Aspects of Computing, May 2025.
Pat Fothergill (Pat Ambler)
AISBQ Pat Fothergill (Pat Ambler): Early worker in robotics and the use of AI in engineering design. Derek Sleeman, AISB Quarterly, 146 (pp. 4-8), April 2017.
Richard Gregory
Royal Society.
The Guardian.
Christopher Longuet-Higgins
Informatics.
Royal Society.
The Guardian.
Bernard Meltzer
Informatics.
Sidney Michaelson
BCS Edinburgh Branch.
IEEE Computer Society.
Literary and Linguistic Computing Obituary: Sidney Michaelson. Thomas B. Horton. Literary and Linguistic Computing, Volume 6, Issue 2, 1991, Page 146.
Donald Michie
Nature Margaret Boden, Nature Vol. 448, Issue 7155, p 765 (2007).
IEEE Computer Society.
ICGA Journal.
New York Times.
The Guardian.
The Telegraph.
British Library blog Matt Wright 9 March 2020.
van Emden blog I remember Donald Michie (1923-2007), Maarten van Emden, June 2009.
Robin Milner
National Academy of Engineering USA.
University of Cambridge.
EATCS.
The Guardian.
The Independent.
The Scotsman.
The Telegraph.
The Times.
Robin Popplestone
Informatics.
The Scotsman.
Sylvia Weir
The Guardian.