J. Roger Hindley is a prominent

British British may refer to: Peoples, culture, and language * British people, nationals or natives of the United Kingdom, British Overseas Territories, and Crown Dependencies. ** Britishness, the British identity and common culture * British English, ...

logician Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from premises ...

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

Swansea University Swansea University ( cy, Prifysgol Abertawe) is a public university, public research university located in Swansea, Wales, United Kingdom. It was chartered as University College of Swansea in 1920, as the fourth college of the University of Wales. ...

.Hindley's Swansea homepage
/ref>

Education

Hindley graduated in 1960 from

Queen's University Belfast , mottoeng = For so much, what shall we give back? , top_free_label = , top_free = , top_free_label1 = , top_free1 = , top_free_label2 = , top_free2 = , established = , closed = , type = Public research university , parent = ...

, remaining to earn a M.Sc. in 1961. He went on to receive a Ph.D. in 1964 from

University of Newcastle upon Tyne Newcastle University (legally the University of Newcastle upon Tyne) is a UK public research university based in Newcastle upon Tyne, North East England. It has overseas campuses in Singapore and Malaysia. The university is a red brick unive ...

, where his thesis supervisor was

Ronald Harrop Ronald is a masculine given name derived from the Old Norse ''Rögnvaldr'', Hanks; Hardcastle; Hodges (2006) p. 234; Hanks; Hodges (2003) § Ronald. or possibly from Old English '' Regenweald''. In some cases ''Ronald'' is an Anglicised form of ...

. Later, he returned to Queen's University for a D.Sc. in 1991. He taught at

Penn State University The Pennsylvania State University (Penn State or PSU) is a Public university, public Commonwealth System of Higher Education, state-related Land-grant university, land-grant research university with campuses and facilities throughout Pennsylvan ...

(1964-1966),

Bristol University , mottoeng = earningpromotes one's innate power (from Horace, ''Ode 4.4'') , established = 1595 – Merchant Venturers School1876 – University College, Bristol1909 – received royal charter , type ...

(1966-1968), and has been at

since 1968.

Selected publications

*. *.

References

* Living people British logicians 1939 births British philosophers {{UK-mathematician-stub