사이먼 페이튼 존스
1. 개요
사이먼 페이튼 존스는 컴퓨터 과학자이자 프로그래밍 언어 전문가이다. 그는 케임브리지 대학교에서 학위를 받았으며, 하스켈 프로그래밍 언어 설계에 기여하고 글래스고 하스켈 컴파일러(GHC)의 수석 개발자로 활동했다. 또한 C-- 프로그래밍 언어의 공동 창시자이며, 마이크로소프트 엑셀 기능 개발에도 참여했다. 그는 컴퓨팅 앳 스쿨(CAS) 그룹의 의장과 영국 국립 컴퓨팅 교육 센터의 의장을 역임하며, 컴퓨팅 교육 발전에 기여했다. 그는 ACM SIGPLAN 프로그래밍 언어 업적 상, SIGPLAN 프로그래밍 언어 소프트웨어 상 등을 수상했으며, 대영 제국 훈장 오피서(OBE)를 수여받았다.
이미지 준비중입니다.
| 이름 | 사이먼 페이튼 존스 |
|---|---|
| 출생일 | 1958년 1월 18일 |
| 출생지 | 남아프리카 공화국 케이프타운 시몬스타운 |
| 국적 | 영국 |
| 분야 | 프로그래밍 언어 함수형 프로그래밍 |
| 직장 | 에픽 게임즈 런던 대학교 글래스고 대학교 케임브리지 대학교 마이크로소프트 리서치 컴퓨팅 앳 스쿨 |
| 모교 | 케임브리지 대학교 (학사, 디플로마) |
| 알려진 업적 | 글래스고 하스켈 컴파일러 C-- |
| 수상 | ACM 펠로우 (2004년) 프로그래밍 언어·소프트웨어상 (2011년) |
| 웹사이트 | 사이먼 페이튼 존스 공식 웹사이트 |
| 전공 | 컴퓨터 과학 |
|---|
| ACM Fellow | 2004년 |
|---|
| DBLP 식별자 | 86/3126 |
|---|
-
영국의 컴퓨터 과학자 -
에이다 러브레이스
에이다 러브레이스는 영국의 귀족이자 수학자로, 찰스 배비지의 해석기관 연구를 통해 최초의 컴퓨터 프로그램으로 여겨지는 베르누이 수 계산 알고리즘을 고안하고 해석기관의 다양한 활용 가능성을 제시한 선구자이다. -
영국의 컴퓨터 과학자 -
모리스 윌크스
모리스 윌크스는 EDSAC 설계 및 제작에 기여하고 프로그램 라이브러리 개념을 제시했으며, 튜링 상을 수상하고 마이크로프로그래밍 개념을 개발한 영국의 컴퓨터 과학자이다. -
함수형 프로그래밍 -
패턴 매칭
패턴 매칭은 데이터 구조나 문자열에서 특정 패턴을 찾아 식별하는 기법으로, 다양한 프로그래밍 언어와 시스템에서 사용되며 데이터 필터링, 추출 및 선언적 프로그래밍에 중요한 역할을 수행한다. -
함수형 프로그래밍 -
익명 함수
익명 함수는 이름이 없는 함수로, 람다 추상, 람다 함수, 람다 표현식, 화살표 함수 등으로 불리며, 함수형 프로그래밍 언어에서 람다식 형태로 많이 사용되고 고차 함수의 인수, 클로저, 커링 등에 활용되지만, 재귀 호출의 어려움이나 기능 제한과 같은 단점도 존재한다. -
프로그래밍 언어 연구자 -
에츠허르 데이크스트라
네덜란드 출신의 컴퓨터 과학자이자 수학자인 에츠허르 데이크스트라는 데이크스트라 알고리즘 개발, 구조적 프로그래밍 옹호, 세마포어 개념 연구, THE 운영체제 개발 참여 등 컴퓨터 과학의 다양한 분야에 큰 공헌을 했다. -
프로그래밍 언어 연구자 -
니클라우스 비르트
스위스의 컴퓨터 과학자 니클라우스 비르트는 ALGOL W, 파스칼, 모듈라-2, 오베론 등의 프로그래밍 언어와 오베론 운영체제 설계, 컴파일러 설계 및 소프트웨어 개발 방법론에 기여했으며, "알고리즘 + 데이터 구조 = 프로그램" 저술과 "Program Development by Stepwise Refinement" 논문을 통해 컴퓨터 과학 교육에 혁신적인 영향을 미치고 1984년 튜링상을 수상했다.
2. 교육
페이튼 존스는 1979년에 케임브리지 대학교에서 전기 공학으로 이학사 학위를 취득했다. 그는 재학 시절 케임브리지 트리니티 칼리지의 학부생이었으며, 이후 1980년 케임브리지 컴퓨터 과학 디플로마를 취득했다. 그는 박사 학위를 받지 않았다.
3. 경력 및 연구
사이먼 페이튼 존스는 1980년 케임브리지 대학교 트리니티 칼리지에서 컴퓨터 과학을 전공했다. 졸업 후 2년 동안 산업계에서 일한 후 유니버시티 칼리지 런던에서 강사로, 1990년부터 1998년까지 글래스고 대학교에서 교수로 재직했다. 1998년부터 2021년까지는 영국 케임브리지에 있는 마이크로소프트 리서치에서 연구원으로 일했다. 2021년부터는 에픽 게임즈에서 엔지니어링 펠로우로 근무하고 있다.
3.1. 하스켈 (Haskell) 및 GHC 개발
사이먼 페이튼 존스는 하스켈 프로그래밍 언어 설계에 주요 공헌을 했으며, 글래스고 하스켈 컴파일러(GHC)의 수석 개발자이다. 그는 컴파일러의 언어별 프런트엔드와 범용 백엔드 코드 생성기 및 최적화기 사이의 중간 프로그램 표현을 위해 설계된 C-- 프로그래밍 언어의 공동 제작자이기도 하다. C--는 GHC에서 사용된다.
3.2. C-- (중간 언어) 개발
사이먼 페이튼 존스는 컴파일러의 언어별 프론트엔드와 코드 생성기 및 옵티마이저의 범용 백엔드 사이의 중간 표현을 위해 설계된 C-- 프로그래밍 언어의 공동 개발자이다. C--는 글래스고 하스켈 컴파일러(GHC)에서 사용되고 있다.
3.3. 마이크로소프트 엑셀 (Microsoft Excel) 기능 개발
사이먼 페이튼 존스는 2003년 사용자 정의 함수에 대한 논문을 발표한 이후 새로운 마이크로소프트 엑셀 기능 개발에 중요한 역할을 해왔다. 2021년에는 익명 함수와 let 표현식이 Office 365 버전의 엑셀에서 베타 기능으로 제공되었다.
3.4. 저술 활동
사이먼 페이튼 존스는 하스켈 프로그래밍 언어 설계에 크게 기여했으며, 글래스고 하스켈 컴파일러(GHC)의 수석 개발자이다. 컴파일러의 언어별 프론트 엔드와 범용 백엔드 코드 생성기 및 최적화기 사이의 중간 프로그램 표현을 위해 설계된 C--영어 프로그래밍 언어의 공동 제작자이기도 하다. C--는 GHC에서 사용된다.
1999년에는 인터넷의 윤리적, 영적 함의를 탐구한 책 사이버노츠 어웨이크에 주요 기고자로 참여했다.
2003년부터 사용자 정의 함수에 대한 논문을 발표하는 등 새로운 마이크로소프트 엑셀 기능 개발에 중요한 역할을 해왔으며, 2021년에는 익명 함수와 let 표현식이 엑셀의 Office 365 버전에서 베타 기능으로 제공되었다.
3.5. 컴퓨팅 교육 활동
사이먼 페이튼 존스는 학교에서 컴퓨터 과학 교육을 장려하는 것을 목표로 하는 단체인 컴퓨팅 앳 스쿨(CAS) 그룹의 의장을 맡고 있다. 2019년에는 이러한 노력에 따라 새롭게 설립된 영국 국립 컴퓨팅 교육 센터의 의장으로 임명되었다.
4. 수상 및 영예
* 2004년 - 함수형 프로그래밍 언어에 기여한 공로로 컴퓨팅 기계 협회의 회원으로 위촉되었다.
* 2011년 - 아카데미아 유로피아 (MAE)의 회원이 되었다.
* 2011년 - 사이먼 말로우와 함께 GHC 작업으로 SIGPLAN 프로그래밍 언어 소프트웨어 상을 수상했다.
* 2013년 - 글래스고 대학교에서 명예 박사 학위를 받았다.
* 2016년 - 왕립 학회 회원 (FRS)으로 선출되었다.
* 2017년 - 영국 컴퓨터 학회의 저명한 회원 (DFBCS)이 되었다.
* 2016년 - ACM SIGPLAN 프로그래밍 언어 업적 상을 수상했다.
* 2017년 - 켄트 대학교와 배스 대학교에서 명예 박사 학위를 받았다.
* 2022년 생일 기념 서훈에서 교육 및 컴퓨터 과학 발전에 기여한 공로로 대영 제국 훈장 오피서 (OBE)로 임명되었다.
* 캠브리지 펨브로크 칼리지의 저명한 제휴 학자이자 캠브리지 대학교 컴퓨터 연구소의 저명한 명예 회원으로도 임명되었다.