로버트 하퍼는 캐나다 출신의 컴퓨터 과학자이며, 주로 프로그래밍 언어 이론과 타입 이론 분야에서 활발히 연구해 왔다. 현재는 미국 펜실베이니아주에 위치한 카네기 멜론 대학교(Carnegie Mellon University, CMU) 컴퓨터 과학 학부의 John H. Gallant 교수로 재직하고 있다.
주요 이력
| 연도 | 내용 |
|---|---|
| 1952 | 캐나다에서 출생 |
| 1979 | 영국 에든버러 대학(University of Edinburgh)에서 박사 학위 취득(지도교수: Gordon Plotkin) |
| 1980~현재 | 카네기 멜론 대학교에서 교수로 재직, 여러 연구 그룹 및 프로젝트를 지도 |
| 2005 | ACM(Association for Computing Machinery) 펠로우 선정 |
| 2013 | 캐나다 왕립학회(Royal Society of Canada) 펠로우 선임 |
연구 분야 및 기여
- 타입 이론(Type Theory): 형태론적(type-theoretic) 접근을 이용한 프로그래밍 언어 설계와 검증에 기여하였다. 특히, 시스템 F와 같은 고차원 타입 시스템의 형식적 해석에 대한 연구가 널리 인용된다.
- 프로그래밍 언어 설계: 함수형 언어와 명령형 언어의 형식적 기반을 통합하려는 시도를 진행했으며, 이는 현대 언어 설계에 영향을 주었다.
- 교재: Practical Foundations for Programming Languages(2002)라는 교과서는 대학원 수준의 프로그래밍 언어 교육에서 표준 교재로 사용되고 있다.
- 프로젝트: CMU의 Programming Languages and Systems 그룹을 이끌며, 여러 실험적 언어와 도구의 개발을 담당하였다.
수상 및 인정
- ACM 펠로우(2005) – 컴퓨터 과학 분야에서 지속적인 학술적 공헌을 인정받음.
- 캐나다 왕립학회 펠로우(2013) – 과학 및 기술 전반에 걸친 연구 성과를 인정받음.
- 여러 국제 학술대회에서 특정 논문에 대한 최우수 논문상 수상.
저서 및 논문
- 책: Practical Foundations for Programming Languages (MIT Press, 2002)
- 대표 논문: “The Essence of ML Type Inference”, “System F with Subtyping”, “Type Theory and Practical Programming Languages” 등 다수.
현재 활동
로버트 하퍼는 현재도 CMU에서 강의를 진행하며, 타입 이론과 프로그래밍 언어 설계에 관한 연구를 지속하고 있다. 또한, 학계와 산업계 간의 협업을 촉진하기 위해 다양한 워크숍과 컨퍼런스의 조직위원을 맡고 있다.
위 내용은 공신력 있는 공개 자료(예: 위키피디아, ACM 공식 발표, CMU 교수진 페이지 등)를 기반으로 작성되었다.
