J. 로저 힌들리
J. Roger HindleyJ. 로저 힌들리 | |
|---|---|
| 태어난 | 1939 |
| 모교 | 퀸즈 대학교 벨파스트 |
| 로 알려져 있다. | 힌들리-밀너형 추론 알고리즘 |
| 과학 경력 | |
| 필드 | 논리, 유형 이론 |
| 기관 | 스완지 대학교 |
| 박사학위 자문위원 | 로널드 하롭 |
J. 로저 힌들리는 힌들리-밀너형 추론 알고리즘으로 가장 잘 알려진 영국의 저명한 논리학자다.1998년부터 스완지대학교 명예연구위원으로 재직하고 있다.[1]
교육
힌들리는 1960년에 퀸즈 대학교 벨파스트를 졸업했고, M학점을 받기 위해 남아있다.1961년 SC.
그는 계속해서 1964년 타이네를 거쳐 뉴캐슬 대학에서 박사학위를 받았다. 그의 논문 감독관은 로널드 하롭이었다.그 후, 그는 퀸즈 대학교에서 D학점을 받았다.1991년 SC.
그는 펜 주립 대학교(1964-1966), 브리스톨 대학교(1966-1968)에서 가르쳤고 1968년부터 스완지 대학교에서 근무하고 있다.
선택한 게시물
- Hindley, J. Roger (1969), "The principal type-scheme of an object in combinatory logic", Transactions of the American Mathematical Society, 146: 29–60, doi:10.2307/1995158, JSTOR 1995158, MR 0253905.
- Hindley, J. Roger (2008), Basic simple type theory (2nd ed.), Cambridge University Press, ISBN 9780521054225, retrieved June 22, 2009.
참조
