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. * British national identity, the characteristics of British people and culture ...

logician Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the study of deductively valid inferences or logical truths. It examines how conclusions follow from premises based on the structure of arg ...

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

Swansea University Swansea University () 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. In 1996, it chang ...

.Hindley's Swansea homepage
/ref>

Education

Hindley graduated in 1960 from

Queen's University Belfast The Queen's University of Belfast, commonly known as Queen's University Belfast (; abbreviated Queen's or QUB), is a public research university in Belfast, Northern Ireland, United Kingdom. The university received its charter in 1845 as part of ...

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

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

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

D.Sc. A Doctor of Science (; most commonly abbreviated DSc or ScD) is a science doctorate awarded in a number of countries throughout the world. Africa Algeria and Morocco In Algeria, Morocco, Libya and Tunisia, all universities accredited by the s ...

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 Pennsyl ...

(1964–1966),

Bristol University The University of Bristol is a public research university in Bristol, England. It received its royal charter in 1909, although it can trace its roots to a Merchant Venturers' school founded in 1595 and University College, Bristol, which had ...

(1966–1968), and has been at

since 1968.

Selected publications

*. *.

References

* Living people British logicians 1939 births British philosophers Alumni of Queen's University Belfast {{UK-mathematician-stub