레슬리 램포트

1. 개요

레슬리 램포트는 분산 시스템, 시간 논리, LaTeX 분야에 기여한 미국의 컴퓨터 과학자이다. 그는 1960년 매사추세츠 공과대학교에서 수학 학사 학위를, 브랜다이스 대학교에서 석사 및 박사 학위를 받았다. 램포트는 분산 시스템 이론의 기초를 다졌으며, 논리 시계, 순차적 일관성, 비잔틴 장군 문제, 팍소스 알고리즘 등 다양한 개념과 알고리즘을 개발했다. 또한, TeX을 기반으로 한 문서 편집 시스템인 LaTeX를 개발했으며, 시상 논리 연구를 통해 TLA+를 소개했다. 램포트는 2013년 튜링상을 수상했으며, 미국 공학 한림원 회원, 컴퓨터 기계 협회 펠로우로 선출되었고, IEEE 존 폰 노이만 메달, C&C상 등을 수상했다.

2. 생애 및 교육

램포트는 브롱스 과학고등학교를 졸업하고, 1960년 매사추세츠 공과대학교에서 수학 학사 학위를, 1963년 브랜다이스 대학교에서 수학 석사 학위를, 1972년 박사 학위를 받았다. 그의 박사 학위 논문은 "특이 데이터를 갖는 해석적 코시 문제"로, 해석적 편미분 방정식의 특이성에 관한 것이다.

2.1. 유년 시절

램포트는 뉴욕 브루클린의 유대인 가정에서 벤자민 램포트와 한나 램포트(옛 성씨: 라서)의 아들로 태어났다. 그의 아버지는 러시아 제국의 볼코비스크(현재 벨라루스의 바우카비스크)에서 이민 왔고, 그의 어머니는 오스트리아-헝가리 제국에서 이민 왔으며, 현재는 폴란드 남동부 지역이다.

브롱스 과학고등학교를 졸업한 램포트는 1960년 매사추세츠 공과대학교에서 수학으로 이학사 학위를 받았고, 이어서 브랜다이스 대학교에서 1963년 문학 석사 학위와 1972년 철학 박사 학위를 받았다. 그의 박사 학위 논문은 "특이 데이터를 갖는 해석적 코시 문제"로, 해석적 편미분 방정식의 특이성에 관한 것이다.

2.2. 학력

브롱스 과학고등학교를 졸업했다. 1960년에 매사추세츠 공과대학교에서 수학 학사 학위를, 1963년에 브랜다이스 대학교에서 수학 석사 학위를, 1972년에 수학 철학 박사 학위를 취득했다. 박사 학위 논문은 해석적 편미분 방정식의 특이점에 관한 것이었다.

3. 경력 및 연구

램포트는 1970년부터 1977년까지 매사추세츠 컴퓨터 어소시에이츠에서, 1977년부터 1985년까지 스탠퍼드 연구소(SRI International)에서, 1985년부터 2001년까지 디지털 이큅먼트 코퍼레이션과 컴팩에서 컴퓨터 과학자로 일했다. 2001년에는 캘리포니아에 있는 마이크로소프트 리서치에 합류했다.

램포트는 분산 시스템, LaTeX, 시상 논리 분야에 기여했다.

3.1. 분산 시스템

램포트의 연구는 분산 시스템 이론의 기초를 다졌다. 그의 가장 주목할 만한 논문들은 다음과 같다.

* "시간, 시계 및 분산 시스템의 이벤트 순서"(Time, Clocks, and the Ordering of Events in a Distributed System)는 2000년에 분산 컴퓨팅 원리 (PODC) 영향력 있는 논문상을 수상했다.
* "멀티프로세서 프로그램을 올바르게 실행하는 멀티프로세서 컴퓨터를 만드는 방법"(How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs)에서는 순차적 일관성의 개념을 정의했다.
* "비잔틴 장군 문제"(The Byzantine Generals' Problem)
* "분산 스냅샷: 분산 시스템의 전역 상태 결정"(Distributed Snapshots: Determining Global States of a Distributed System)
* "파트 타임 의회"(The Part-Time Parliament)

이 논문들은 논리 시계 (및 '선행 관계') 및 비잔틴 장애와 같은 개념과 관련이 있다. 이들은 컴퓨터 과학 분야에서 가장 많이 인용되는 논문 중 하나이며, 분산 시스템의 많은 기본적인 문제를 해결하기 위한 알고리즘을 설명한다. 여기에는 다음이 포함된다.

* 팍소스 알고리즘을 이용한 합의
* 동일한 자원을 동시에 필요로 하는 컴퓨터 시스템의 여러 스레드의 상호 배제를 위한 베이커리 알고리즘
* 일관된 전역 상태(스냅샷) 결정을 위한 찬디-램포트 알고리즘
* 디지털 서명의 프로토타입 중 하나인 램포트 서명

3.2. LaTeX

도널드 커누스가 1980년대 초 TeX의 초기 버전을 발행하기 시작했을 때, 램포트는 책을 써야 할 개인적인 필요에 의해 TeX을 기반으로 하는 매크로 집합 작업을 시작했고, 이는 나중에 표준 매크로 패키지가 되기를 희망했다. 이 매크로 집합은 나중에 LaTeX로 알려지게 되었으며, 1983년에 애디슨-웨슬리 편집자 피터 고든으로부터 그의 사용자 매뉴얼을 책으로 만들라는 제안을 받았다.

1984년 9월, 램포트는 LaTeX 매크로 버전 2.06a를 출시했고, 1985년 8월에는 램포트의 LaTeX 마지막 버전인 LaTeX 2.09가 출시되었다. 한편, 애디슨-웨슬리는 1986년에 램포트의 첫 번째 LaTeX 사용자 매뉴얼인 LaTeX: A Document Preparation System을 출판했는데, 이 책은 "수십만 부 이상" 판매되었으며, 1989년 8월 21일 스탠포드 대학교에서 열린 TeX 사용자 그룹 회의에서 램포트는 LaTeX의 유지 보수 및 개발을 프랑크 미텔바흐에게 넘기는 데 동의했다. 미텔바흐는 크리스 로울리, 라이너 쉔프와 함께 LaTeX3 팀을 결성하여 1994년에 현재 LaTeX 버전인 LaTeX 2e를 출시했다.

3.3. 시간 논리 (Temporal Logic)

램포트는 시상 논리 연구로도 알려져 있으며, 행위의 템포럴 로직(TLA)을 도입했다.

최근 그의 기여 중에는 병렬 및 반응형 시스템을 지정하고 추론하기 위한 언어인 TLA⁺가 있다. 그는 저서 Specifying Systems: The TLA⁺ Language and Tools for Hardware and Software Engineers에서 이 언어에 대해 설명하며, 이 언어를 "수학에 대한 기술자의 반감을 없애기 위한 Quixotism^영어 시도"라고 정의하고 있다.

4. 수상 및 영예

램포트는 분산 및 동시 시스템의 이론과 실천에 대한 근본적인 기여, 특히 인과 관계와 논리적 시계, 안전 및 활성, 복제 상태 머신, 순차적 일관성과 같은 개념을 발명하여 2013년 튜링상을 수상했다. 그는 동시 및 내결함성 컴퓨팅의 이론적 기초에 기여한 공로로 1991년 미국 공학 한림원 회원으로 선출되었다. 2014년에는 분산 및 동시 시스템의 이론과 실천에 대한 근본적인 기여를 인정받아 컴퓨팅 기계 협회 펠로우로 선출되었다. 그는 또한 유럽 대학에서 5개의 명예 박사 학위를 받았다. 2003년 렌 대학교와 킬 크리스천 알브레히트 대학교, 2004년 로잔 연방 공과대학교 (EPFL), 2006년 루가노 대학교, 2007년 낭시 대학교에서 받았다. 2004년에는 IEEE 에마누엘 R. 피오레 상을 받았다. 2005년에는 논문 "결함이 있는 경우 합의 달성"이 다익스트라 상을 수상했다. 2008년에는 IEEE 존 폰 노이만 메달을 수상했다. 2011년에는 미국 과학 한림원 회원으로 선출되었다. 램포트의 60번째 생일을 기념하여 제20회 분산 컴퓨팅 원리 심포지엄 (PODC 2001)에서 강연 시리즈가 개최되었다.