Biography:Mike Woodger

From HandWiki
Mike Woodger
The Pilot ACE computer, now in the Science Museum, London
Born(1923-03-28)28 March 1923
Epsom, Surrey, England
Died14 July 2025(2025-07-14) (aged 102)
CitizenshipBritish
Alma materUniversity College London
Known for
Scientific career
FieldsComputer science
InstitutionsNational Physical Laboratory

Michael Woodger (28 March 1923 - 14 July 2025) was an English pioneering computer scientist who spent most of his career at the National Physical Laboratory (NPL) in Teddington, London.[1][2] Beginning his computing career as an assistant to Alan Turing in 1946, he played an important role in the development and application of the Pilot ACE and full ACE computers, and later contributed to the design and documentation of the ALGOL 60 and Ada programming languages.[1][3] In April 2023, on the occasion of his 100th birthday, he was named an Honorary Fellow of The National Museum of Computing (TNMOC).[4]

Early life and education

Woodger was born in Epsom, Surrey, on 28 March 1923, the eldest of four children. His father, the theoretical biologist Joseph Henry Woodger (1894-1981), was professor of biology at the University of London and was known for his work on building a foundation of mathematical logic for biology, drawing on Whitehead and Russell's Principia Mathematica. The elder Woodger taught his son symbolic logic from an early age, providing Mike with an unusually rigorous early grounding in formal methods.[1]

Woodger graduated in mathematics from University College London in 1943 and then worked at the Ministry of Supply on military applications for the remainder of World War II.[5][1]

Career at NPL

In May 1946, Woodger joined the newly established Mathematics Division at the National Physical Laboratory in west London. After a short period of training in numerical analysis, the main subject of the Division's work, he was introduced to Turing's plans for the ACE computer and John von Neumann's plans for the EDVAC.[1]

Work with Turing on the ACE

Woodger assisted Turing with the detailed logical design of the ACE and with experimental hardware work, the latter including an unsuccessful attempt to construct an acoustic delay-line store using the air column in a drainpipe.[1] He later recalled Turing as kind, shy and encouraging, and that the two shared a strong common interest in logic.[1][6]

Pilot ACE

After Turing's departure from NPL in 1947, and following the laboratory's recruitment of staff with pulse-electronics experience, the development of a reduced version of the ACE design known as the Pilot ACE was undertaken in earnest, becoming operational in 1950.[1][7] Woodger's principal role was the writing of standard procedures for mathematical operations for the new machine, which were tested and put to use on Pilot ACE's first operational runs.[1][8]

He went on to develop an automatic system for handling matrices in the machine's small main store, which made the manipulation of arrays of mathematical data accessible to users unfamiliar with the machine-level code of Pilot ACE and incorporated space-saving and error-checking features. The system was subsequently rewritten for the English Electric DEUCE, the commercial successor to Pilot ACE, and in that form was widely used into the 1960s.[1] Woodger's matrix-handling system is considered an early practical step toward the development of high-level programming languages.[1]

Programming languages

ALGOL 60

Woodger was one of the joint authors of the 1960 Report on the Algorithmic Language ALGOL 60, the foundational specification of the ALGOL 60 programming language and a widely cited milestone in the history of programming-language design.[1][3] His role on the International ALGOL Committee, alongside Peter Naur and the other contributors, lay particularly in organising the committee's discussions and in capturing the language definition in precise written form.[1] Woodger was later a long-serving chair of IFIP Working Group 2.3 on Programming Methodology, the international forum for discussion of programming-methodology research, where he advocated for the principle that a large program is best constructed as a hierarchy of modules in which each level uses the services of the level below and provides services to the level above; he argued that programming-language design should reflect these structural principles, with each level expressed in its own appropriate terminology.[1]

Ada

From the late 1970s, Woodger acted as a consultant to a consortium led by CII-Honeywell Bull that was developing the language initially called Green, one of four contenders short-listed in the United States Department of Defense competition to define a single high-order programming language for defence applications. The language was renamed Ada in 1979 after winning the competition.[1] He continued working on Ada documentation through the French company Alsys S.A., founded by the Ada designer Jean Ichbiah, both before and after his retirement from NPL in 1983; this part-time consultancy ended in 1991.[1] Ichbiah described him as "an artist of technical writing."[1]

Later life and honours

Woodger maintained a personal archive of historical computing documents throughout his career; on his retirement from NPL the historical portion of this collection was transferred to the library of the Science Museum in South Kensington for research access.[1]

In April 2023, on the occasion of his 100th birthday, Woodger was made an Honorary Fellow of The National Museum of Computing at Bletchley Park in recognition of his work on Pilot ACE, ALGOL 60 and Ada.[4] He died on 14 July 2025, aged 102.[9]

Selected publications

  • Woodger, M. (1951). "Automatic Computing Engine of the National Physical Laboratory". Nature. 167 (4244): 270. doi:10.1038/167270a0
  • Naur, Peter; Backus, John; et al. (1960). "Report on the Algorithmic Language ALGOL 60". Communications of the ACM. (Woodger one of 13 joint authors.)
  • Woodger, M. (1972). "On Semantic Levels in Programming". In Freiman, C. V. (ed.). Information Processing 71: Proc. IFIP Congress 71, Ljubljana, August 1971. Amsterdam: North-Holland. pp. 402-407.

References

  1. 1.00 1.01 1.02 1.03 1.04 1.05 1.06 1.07 1.08 1.09 1.10 1.11 1.12 1.13 1.14 1.15 1.16 1.17 Yates, David (Spring 2010). "Pioneer Profile: Michael Woodger". Computer Resurrection - The Bulletin of the Computer Conservation Society 50. https://www.computerconservationsociety.org/resurrection/res50.htm#d. 
  2. Yates, David M. (1997). Turing's Legacy: A History of Computing at the National Physical Laboratory 1945-1995. London: Science Museum. ISBN 978-0-901805-94-2. 
  3. 3.0 3.1 Lee, J. A. N.. "Michael Woodger". IEEE Computer Society. https://history.computer.org/pioneers/woodger.html. 
  4. 4.0 4.1 "Mike Woodger, British Computer Programming Languages and Software Engineering Pioneer, named TNMOC Honorary Fellow". The National Museum of Computing. 14 April 2023. https://www.tnmoc.org/news-releases/2023/4/12/mike-woodger-british-computer-programming-languages-and-software-engineering-pioneer-named-tnmoc-honorary-fellow. 
  5. "Michael Woodger". National Physical Laboratory. http://www.npl.co.uk/people/michael-woodger. 
  6. "Alan Turing: Assistant Mike Woodger Recalls Working with the Computer Pioneer". BBC News. 22 June 2012. https://www.bbc.co.uk/news/av/technology-18555669. 
  7. Woodger, M. (1951). "Automatic Computing Engine of the National Physical Laboratory". Nature 167 (4244): 270. doi:10.1038/167270a0. 
  8. Campbell-Kelly, Martin (1981). "Programming the Pilot ACE: Early Programming Activity at the National Physical Laboratory". IEEE Annals of the History of Computing 3 (2): 133-162. doi:10.1109/MAHC.1981.10015. 
  9. "Michael 'Mike' Woodger". The Gazette & Herald. 30 July 2025. https://www.gazetteherald.co.uk/notice/30682880.michael-mike--woodger/.