맨위로가기

레슬리 램포트

"오늘의AI위키"는 AI 기술로 일관성 있고 체계적인 최신 지식을 제공하는 혁신 플랫폼입니다.
"오늘의AI위키"의 AI를 통해 더욱 풍부하고 폭넓은 지식 경험을 누리세요.
목차

1. 개요

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

더 읽어볼만한 페이지

  • 데이크스트라상 수상자 - 에츠허르 데이크스트라
    네덜란드 출신의 컴퓨터 과학자이자 수학자인 에츠허르 데이크스트라는 데이크스트라 알고리즘 개발, 구조적 프로그래밍 옹호, 세마포어 개념 연구, THE 운영체제 개발 참여 등 컴퓨터 과학의 다양한 분야에 큰 공헌을 했다.
  • 데이크스트라상 수상자 - 미하엘 라빈
    미하엘 라빈은 계산 복잡도 이론, 오토마타 이론, 암호학에 기여한 이스라엘의 컴퓨터 과학자로, 비결정적 기계 개념 도입으로 튜링상을 수상했으며 밀러-라빈 소수판별법, 라빈 암호체계, 라빈-카프 문자열 검색 알고리즘 등의 업적을 남겼다.
  • 브랜다이스 대학교 동문 - 세일라 벤하비브
    세일라 벤하비브는 튀르키예 출신의 정치철학자이며, 문화의 순수성을 부정하고 다원주의와 세계시민주의의 양립을 주장하며, 저서로 『타자의 권리』 등이 있고 북미철학회상 등을 수상했다.
  • 브랜다이스 대학교 동문 - 마이클 샌델
    마이클 샌델은 하버드 대학교 정치철학 교수로, 정의, 도덕, 자유주의에 대한 저술과 강연, 존 롤스의 정의론 비판, 공동체주의적 관점 제시, 그리고 시장 만능주의와 능력주의 비판 등으로 세계적인 영향력을 행사하는 좌파 성향의 학자이다.
레슬리 램포트 - [인물]에 관한 문서
기본 정보
레슬리 램포트
이름레슬리 램포트
출생일1941년 2월 7일
출생지미국 뉴욕주뉴욕 시
거주지알려진 정보 없음
시민권알려진 정보 없음
국적알려진 정보 없음
민족알려진 정보 없음
종교알려진 정보 없음
학력
모교매사추세츠 공과대학교 (BSc)
브랜다이스 대학교 (PhD)
박사 학위 논문 제목해석적 코시 문제와 특이 데이터 (The analytic Cauchy problem with singular data)
박사 학위 논문 URL박사 학위 논문 URL
박사 학위 논문 년도1972년
지도 교수리처드 파래스(Richard Palais)
지도 학생알려진 정보 없음
경력
직장마이크로소프트 리서치
컴팩
디지털 이큅먼트 코퍼레이션
SRI 인터내셔널
분야컴퓨터 과학
업적
주요 업적LaTeX
해시 체인 (S/KEY)
순차 일관성
Atomic Register Hierarchy
램포트의 빵집 알고리즘
비잔틴 장애 허용
팍소스 알고리즘
램포트 서명
행동 시간 논리(Temporal Logic of Actions)
TLA+
수상
수상다익스트라 상 (2000, 2005, 2014)
IEEE 임마누엘 R. 피오레 상 (2004)
IEEE 존 폰 노이만 메달 (2008)
튜링상 (2013)
미국 과학 아카데미 회원 (2011)
ACM 펠로우 (2014)
기타
웹사이트개인 웹사이트
ACM 포털id=81100244989
학술 검색1817419

2. 생애 및 교육

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

2. 1. 유년 시절

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

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

2. 2. 학력

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

3. 경력 및 연구

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

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

3. 1. 분산 시스템

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

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


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

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

3. 2. LaTeX

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

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를 출시했다.[19][20]

3. 3. 시간 논리 (Temporal Logic)

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

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

4. 수상 및 영예

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

연도수상 및 영예
1991미국 공학 한림원 회원
2003렌 제1 대학교 명예 박사 학위[42]
2003크리스티안 알브레히트 대학교 킬 명예 박사 학위[42]
2004에마뉘엘 피오레 상[57]
2004로잔 연방 공과대학교 (EFPL) 명예 박사 학위[42]
2005다익스트라 상 (논문 "오류가 발생한 경우의 합의 도달")[58][59]
2006루가노 대학교 명예 박사 학위[42]
2007낭시 대학교 명예 박사 학위[42]
2008IEEE 존 폰 노이만 메달[60]
2011미국 과학 아카데미 회원[61]
2013튜링상[62]
2014ACM 펠로우[63]
2019컴퓨터 역사 박물관 펠로우 (컴퓨터의 전당)[64]
2019C&C상


참조

[1] MathGenealogy
[2] 서적 LaTeX: A Document Preparation System https://archive.org/[...] Addison-Wesley 2019-06-20
[3] 뉴스 Leslie Lamport - A.M. Turing Award Winner https://amturing.acm[...] ACM
[4] ACMPortal
[5] 간행물 Time, clocks, and the ordering of events in a distributed system http://research.micr[...]
[6] AcademicSearch
[7] 간행물 General agreement: Leslie Lamport contributed to the theory and practice of building distributed computing systems that work as intended
[8] 간행물 Q&A Divide and Conquer: Leslie Lamport on Byzantine generals, clocks, and other tools for reasoning about concurrent systems
[9] 웹사이트 World War I draft card for Benjamin Lamport https://www.ancestry[...] Ancestry.com 2022-07-12
[10] 웹사이트 My Writings https://research.mic[...] 2006-12-19
[11] 웹사이트 The Analytic Cauchy Problem with Singular Data https://research.mic[...] 2007-02-02
[12] 웹사이트 PODC Influential Paper Award: 2000 http://www.podc.org/[...] 2003-01-23
[13] 간행물 How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Program https://research.mic[...]
[14] 간행물 The Byzantine Generals Problem https://research.mic[...] 1982-07
[15] 간행물 Distributed Snapshots: Determining Global States of a Distributed System https://research.mic[...] 1985-02
[16] 간행물 The Part-Time Parliament https://research.mic[...] 1998-05
[17] 웹사이트 Most cited articles in Computer Science http://citeseer.ist.[...] 2006-09
[18] 웹사이트 How (LA)TEX changed the face of Mathematics https://lamport.azur[...]
[19] 웹사이트 The Writings of Leslie Lamport https://lamport.azur[...] 2019-07-19
[20] 웹사이트 TeX, LaTeX, and AMS-LaTeX http://web.syr.edu:8[...] 1998-12-03
[21] 웹사이트 A Temporal Logic of Actions https://research.mic[...] 2007-02-02
[22] 간행물 The Temporal Logic of Actions https://research.mic[...] 1994-05
[23] 서적 Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers https://research.mic[...] Addison-Wesley 2007-02-02
[24] 웹사이트 The International Conference on Dependable Systems and Networks keynote speaker biography http://2004.dsn.org/[...] 2021-07-05
[25] 웹사이트 Turing award 2013 http://amturing.acm.[...] ACM
[26] 웹사이트 Leslie Lamport ACM Fellows 2014 http://awards.acm.or[...]
[27] 웹사이트 IEEE Emanuel R. Piore Award Recipients es http://www.ieee.org/[...] IEEE 2010-12-31
[28] 간행물 Reaching Agreement in the Presence of Faults http://research.micr[...] 1980-04
[29] 웹사이트 Edsger W. Dijkstra Prize in Distributed Computing: 2005 http://www.podc.org/[...] 2007-02-02
[30] 웹사이트 PODC 2001: Lamport Lecture Series http://www.podc.org/[...] 2009-07-02
[31] 웹사이트 IEEE John von Neumann Medal Recipients http://www.ieee.org/[...] IEEE 2010-12-31
[32] 웹사이트 Members and Foreign Associates Elected http://www.nasonline[...] 2011-05-03
[33] MathGenealogy
[34] 서적 LaTeX: A Document Preparation System https://archive.org/[...] Addison-Wesley
[35] 웹사이트 The Definitive, Non-Technical Introduction to LaTeX, Professional Typesetting and Scientific Publishing https://mathvault.ca[...] 2019-07-19
[36] 뉴스 Leslie Lamport - A.M. Turing Award Winner http://amturing.acm.[...] ACM
[37] ACMPortal
[38] 간행물 Time, clocks, and the ordering of events in a distributed system http://research.micr[...]
[39] AcademicSearch
[40] 간행물 General agreement: Leslie Lamport contributed to the theory and practice of building distributed computing systems that work as intended
[41] 간행물 Q&A Divide and Conquer: Leslie Lamport on Byzantine generals, clocks, and other tools for reasoning about concurrent systems
[42] 웹사이트 My Writings http://research.micr[...] 2006-12-19
[43] 간행물 The Analytic Cauchy Problem with Singular Data http://research.micr[...]
[44] 웹사이트 PODC Influential Paper Award: 2000 http://www.podc.org/[...] 2003-01-23
[45] 간행물 How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Program http://research.micr[...]
[46] 간행물 The Byzantine Generals Problem http://research.micr[...] 1982-07
[47] 간행물 Distributed Snapshots: Determining Global States of a Distributed System http://research.micr[...] 1985-02
[48] 간행물 The Part-Time Parliament http://research.micr[...] 1998-05
[49] 웹사이트 Most cited articles in Computer Science http://citeseer.ist.[...] 2006-09
[50] 웹사이트 How (LA)TEX changed the face of Mathematics https://lamport.azur[...] 2020-04-26
[51] 웹사이트 The Writings of Leslie Lamport https://lamport.azur[...] 2019-07-19
[52] 웹사이트 TeX, LaTeX, and AMS-LaTeX http://web.syr.edu:8[...] 1998-12-03
[53] 간행물 A Temporal Logic of Actions http://research.micr[...] 1990-04-01
[54] 간행물 The Temporal Logic of Actions http://research.micr[...] 1994-05
[55] 서적 Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers http://research.micr[...] Addison-Wesley
[56] 웹사이트 The International Conference on Dependable Systems and Networks keynote speaker biography http://2004.dsn.org/[...]
[57] 웹사이트 IEEE Emanuel R. Piore Award Recipients es http://www.ieee.org/[...] IEEE
[58] 간행물 Reaching Agreement in the Presence of Faults http://research.micr[...] 1980-04
[59] 웹사이트 Edsger W. Dijkstra Prize in Distributed Computing: 2005 http://www.podc.org/[...]
[60] 웹사이트 IEEE John von Neumann Medal Recipients http://www.ieee.org/[...] IEEE 2010-12-31
[61] 웹사이트 Members and Foreign Associates Elected http://www.nasonline[...] 2011-05-03
[62] 웹사이트 Turing award 2013 https://amturing.acm[...] ACM 2020-04-26
[63] 웹사이트 ACM Names Fellows for Innovations in Computing http://www.acm.org/p[...] 2015-01-08
[64] 웹사이트 Fellow Awards - CHM https://computerhist[...] コンピュータ歴史博物館 2020-04-26
[65] 웹사이트 PODC 2001: Lamport Lecture Series http://www.podc.org/[...] 2009-07-02
[66] MathGenealogy
[67] 웹인용 My Writings http://research.micr[...] 2006-12-19
[68] 저널 인용 The Analytic Cauchy Problem with Singular Data http://research.micr[...]
[69] 웹인용 LaTeX: A Document Preparation System http://research.micr[...] Addison-Wesley
[70] 뉴스 분산컴퓨팅 아버지 레슬리 램포트, 튜링상 수상 http://www.bloter.ne[...] 블로터 2014-03-20


본 사이트는 AI가 위키백과와 뉴스 기사,정부 간행물,학술 논문등을 바탕으로 정보를 가공하여 제공하는 백과사전형 서비스입니다.
모든 문서는 AI에 의해 자동 생성되며, CC BY-SA 4.0 라이선스에 따라 이용할 수 있습니다.
하지만, 위키백과나 뉴스 기사 자체에 오류, 부정확한 정보, 또는 가짜 뉴스가 포함될 수 있으며, AI는 이러한 내용을 완벽하게 걸러내지 못할 수 있습니다.
따라서 제공되는 정보에 일부 오류나 편향이 있을 수 있으므로, 중요한 정보는 반드시 다른 출처를 통해 교차 검증하시기 바랍니다.

문의하기 : help@durumis.com