1919 – 1995
Robin Gandy (1919-1995) was a British mathematician and logician, best known as Alan Turing's only doctoral student and a close intellectual collaborator. His work focused on mathematical logic, computability theory, and the philosophical foundations of computation, including the formulation of 'Gandy machines' that generalized Turing's analysis of mechanical computation.
Formulated Gandy's thesis generalizing the Church-Turing thesis to discrete mechanical devices
Was Alan Turing's only PhD student and a key custodian of Turing's intellectual legacy
Made significant contributions to type theory and the foundations of mathematics
Edited and preserved Turing's posthumous mathematical papers
Held the position of Reader in Mathematical Logic at the University of Oxford