J. ロジャー・ヒンドリー

J. ロジャー・ヒンドリー
生まれる	1939 （1939年）
母校	クイーンズ大学ベルファスト
知られている	Hindley–Milner型推論アルゴリズム
科学者としてのキャリア
フィールド	論理学、型理論
機関	スウォンジー大学
博士課程の指導教員	ロナルド・ハロップ

J・ロジャー・ヒンドリーは、ヒンドリー・ミルナー型推論アルゴリズムで最もよく知られる著名なイギリスの論理学者である。1998年以来、スウォンジー大学の名誉研究員を務めている。^{[ 1 ]}

教育

ヒンドリーは1960年にベルファストのクイーンズ大学を卒業し、1961年に理学修士号を取得した。

彼は1964年にニューカッスル大学で博士号を取得しました。同大学ではロナルド・ハロップ氏が論文指導を担当しました。その後、1991年にクイーンズ大学に戻り、理学博士号を取得しました。

彼はペンシルベニア州立大学（1964～1966年）、ブリストル大学（1966～1968年）で教鞭をとり、 1968年からはスウォンジー大学に勤務している。

選定された出版物

• Hindley, J. Roger (1969)、「組合せ論理におけるオブジェクトの主要な型スキーム」、アメリカ数学会誌、146 : 29–60、doi : 10.2307/1995158、JSTOR  1995158、MR  0253905。

• Hindley, J. Roger (2008)、『Basic simple type theory』（第2版）、ケンブリッジ大学出版局、ISBN 9780521054225、 2009年6月22日閲覧。

参考文献

1. ヒンドリーのスウォンジーホームページ

• 数学系譜プロジェクトのJ.ロジャー・ヒンドリー