J. Roger Hindley is a prominent British logician best known for the Hindley–Milner type inference algorithm.
Since 1998, he has been an Honorary Research Fellow at Swansea University.
[1] Hindley graduated in 1960 from Queen's University Belfast, remaining to earn an M.Sc.
He went on to receive a Ph.D. in 1964 from the University of Newcastle upon Tyne, where his thesis supervisor was Ronald Harrop.
This article about a United Kingdom mathematician is a stub.