J. Roger Hindley is a prominent British

United Kingdom

The United Kingdom of Great Britain and Northern IrelandIn the United Kingdom and Dependencies, other languages have been officially recognised as legitimate autochthonous languages under the European Charter for Regional or Minority Languages...

 logician best known for the Hindley–Milner type inference algorithm. Since 1998, he has been an Honorary Research Fellow at Swansea University

Swansea University

Swansea University is a university located in Swansea, Wales, United Kingdom. Swansea University was chartered as University College of Swansea in 1920, as the fourth college of the University of Wales. In 1996, it changed its name to the University of Wales Swansea following structural changes...

.

Education

Hindley graduated in 1960 from Queen's University Belfast, remaining to earn a M.Sc. in 1961.

He went on to receive a Ph.D. in 1964 from University of Newcastle upon Tyne

University of Newcastle upon Tyne

Newcastle University is a major research-intensive university located in Newcastle upon Tyne in the north-east of England. It was established as a School of Medicine and Surgery in 1834 and became the University of Newcastle upon Tyne by an Act of Parliament in August 1963. Newcastle University is...

, where his thesis supervisor was Ronald Harrop. Later, he returned to Queen's University for a D.Sc. in 1991.