NOTES ON THE CONTRIBUTORS
Ruth E. Baker is Assistant Professor of Mathematical Biology at the Mathematical Institute, University
of Oxford, and a Tutorial Fellow of St Hugh’s College. Her research focuses on mathematical models
of embryonic pattern formation and the analysis of the novel mathematical models arising in this
context. She was awarded a Whitehead Prize by the London Mathematical Society in 2014.
Mavis Batey, MBE, née Lever (1921–2013), was a codebreaker at Bletchley Park during the Second World
War. She was studying German at University College, London at the outbreak of the war. Initially she
was employed to check the personal columns of The Times for coded spy messages. In 1940 she was
recruited to Bletchley Park where she assisted Dilly Knox and was involved in the decryption effort
before the Battle of Matapan. After 1945, she worked in the Diplomatic Service and later became a gar-
den historian and author, campaigning to save historic parks and gardens and serving as the President
of the Garden History Society.
Margaret A. Boden, OBE ScD FBA, is Research Professor of Cognitive Science at the University of
Sussex, where she helped develop the world’s first academic programme in artificial intelligence (AI)
and cognitive science. She holds degrees in medical sciences, philosophy, and psychology (as well
as a Cambridge ScD and three honorary doctorates), and integrates these disciplines with AI in her
research, which has been translated into twenty languages. She is a past vice-president of the British
Academy, and Chair of Council of the Royal Institution. Her recent books include The Creative Mind:
Myths and Mechanisms; Mind as Machine: A History of Cognitive Science; Creativity and Art: Three
Roads to Surprise; and AI, Its Nature and Future.
Jonathan P. Bowen, FBCS FRSA, is Emeritus Professor of Computing at London South Bank
University, where he established and headed the Centre for Applied Formal Methods in 2000. From
2013–15 he was Professor of Computer Science at Birmingham City University. Previously he was
a lecturer at the University of Reading, a senior researcher at the Oxford University Computing
Laboratory’s Programming Research Group, and a research assistant at Imperial College, London.
Since 1977 he has been involved with the field of computing in both academia and industry. His
books include: Formal Specification and Documentation using Z; High-Integrity System Specification
and Design; Formal Methods: State of the Art and New Directions; and Electronic Visualisation in Arts
and Culture.
Martin Campbell-Kelly is Emeritus Professor in the Department of Computer Science at the University
of Warwick, where he specializes in the history of computing. His books include Computer: A History
of the Information Machine (co-authored with William Aspray); From Airline Reservations to Sonic the
Hedgehog: A History of the Software Industry; and ICL: A Business and Technical History. He is editor of
the Collected Works of Charles Babbage.