벤자민 C.피어스
Benjamin C.벤자민 C.피어스 | |
|---|---|
 | |
| 모교 | 카네기 멜론 대학교 |
| 로 알려져 있다 | 유형 및 프로그래밍 언어 |
| 과학 경력 | |
| 논문 | 교차 유형 및 경계 다형성을 사용한 프로그래밍 (1991) |
| 박사 어드바이저 | 로버트 하퍼 존 C. 레이놀즈 |
벤자민 크로포드 피어스는 펜실베니아 대학의 헨리 살바토리 컴퓨터[1] 공학 교수입니다.피어스는 1998년 인디애나 대학에서 펜에 입사해 케임브리지 대학과 에든버러 대학에서 연구직을 맡았다.그는 1991년 카네기 멜론 대학에서 박사학위를 받았다.그의 연구에는 프로그래밍 언어, 정적 유형 시스템, 분산 프로그래밍, 모바일 에이전트, 프로세스 계산 및 차등 개인 정보 보호에 대한 작업이 포함됩니다.
연구의 일환으로 피어스는 Unison 파일 동기화 유틸리티를 포함한 여러 오픈 소스 소프트웨어 프로젝트 개발을 주도해 왔습니다.
2012년 피어스는 "프로그래밍 언어 및 그 유형 시스템의 이론과 실천에 기여한" 공로로 ACM[2] 펠로우(Fellow)가 되었습니다.2015년에 피어스와 공동 저자 프로그래밍 언어 paper,[3]의 "프로그램 언어 사회의 주목을 받습니다. 그리고 문제의 데이터베이스를 넘어 넓은 관련성을 증명하면서,view-update 문제를 들여오는데. 기악[...]는 더욱 노골적으로, 신문으로 묘사되었다 가장 영향력 있는 원리 상을 수상했다.sBX(양방향 변환) 영역에 많은 후속 작업을 실시하여 데이터베이스, 프로그래밍 언어 및 소프트웨어 엔지니어링 분야 간의 효과적인 협업을 이끌어냈습니다.
책들
그는 유형 시스템, 유형 및 프로그래밍 언어에 관한 한 책의 저자입니다. ISBN0-262-16209-1.또한 기사 모음을 편집하여 제2권의 유형 및 프로그래밍 언어에 관한 고급 토픽을 작성했습니다.ISBN0-262-16228-8.박사과정 동안 범주이론을 배우면서 수집한 노트를 바탕으로 그는 이 주제에 대한 소개서인 컴퓨터 과학자를 위한 기본 범주이론, ISBN0-262-66071-7도 출판했습니다.그는 무료로 구할 수 있는 소프트웨어 재단의 저자 중 한 명입니다.
「 」를 참조해 주세요.
레퍼런스
- ^ "Benjamin C. Pierce".
- ^ "Benjamin Pierce". awards.acm.org. Retrieved 2019-09-10.
- ^ "Most Influential POPL Paper Award". www.sigplan.org. Retrieved 2019-09-10.
외부 링크
- 피어스 교수 홈페이지
- 벤자민 C. DBLP 서지 서버에서 피어스
- 벤자민 C. 수학 계보 프로젝트의 피어스
| 일반 | |
|---|---|
| 국립도서관 | |
| 과학 데이터베이스 | |
