맨위로가기

바바라 리스코프

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

1. 개요

바바라 리스코프(Barbara Liskov)는 미국의 컴퓨터 과학자이다. 1968년 스탠퍼드 대학교에서 컴퓨터 과학 박사 학위를 받았으며, 미국 여성 최초의 컴퓨터 과학 박사 학위 중 한 명이다. 리스코프는 CLU, Argus와 같은 프로그래밍 언어 개발을 이끌었으며, 객체 지향 프로그래밍의 핵심 원리인 리스코프 치환 원칙을 개발했다. 또한 분산 시스템 및 비잔틴 장애 허용 분야를 연구했다. 주요 수상 경력으로 2008년 튜링상, 2004년 폰 노이만 메달 등이 있다.

더 읽어볼만한 페이지

  • 프로그래밍 언어 연구자 - 에츠허르 데이크스트라
    네덜란드 출신의 컴퓨터 과학자이자 수학자인 에츠허르 데이크스트라는 데이크스트라 알고리즘 개발, 구조적 프로그래밍 옹호, 세마포어 개념 연구, THE 운영체제 개발 참여 등 컴퓨터 과학의 다양한 분야에 큰 공헌을 했다.
  • 프로그래밍 언어 연구자 - 니클라우스 비르트
    스위스의 컴퓨터 과학자 니클라우스 비르트는 ALGOL W, 파스칼, 모듈라-2, 오베론 등의 프로그래밍 언어와 오베론 운영체제 설계, 컴파일러 설계 및 소프트웨어 개발 방법론에 기여했으며, "알고리즘 + 데이터 구조 = 프로그램" 저술과 "Program Development by Stepwise Refinement" 논문을 통해 컴퓨터 과학 교육에 혁신적인 영향을 미치고 1984년 튜링상을 수상했다.
  • 프로그래밍 언어 설계자 - 시모어 페퍼트
    남아프리카 공화국 출신 수학자이자 MIT 교수인 시모어 페퍼트는 구성주의를 발전시키고 로고(LOGO) 프로그래밍 언어 개발 및 레고 마인드스톰 개발에 기여하는 등 교육 기술 분야에서 선구적인 역할을 수행했다.
  • 프로그래밍 언어 설계자 - 존 매카시 (컴퓨터 과학자)
    존 매카시는 LISP 프로그래밍 언어를 개발하고 '인공지능'이라는 용어를 처음 사용하는 데 기여한 인공지능 분야의 선구적인 컴퓨터 과학자로서, 가비지 컬렉션 기법 발명, 유틸리티 컴퓨팅 개념 제시 등 컴퓨터 과학 발전에 혁신적인 공헌을 했다.
  • 튜링상 수상자 - 얀 르쿤
    프랑스 컴퓨터 과학자 얀 르쿤은 딥 러닝 분야의 선구자로서 합성곱 신경망을 제안하여 이미지 인식 발전에 기여했고, 뉴욕 대학교 교수이자 메타 AI 연구소 초대 소장을 역임했으며, 제프리 힌턴, 요슈아 벤지오와 함께 튜링상을 공동 수상했다.
  • 튜링상 수상자 - 마빈 민스키
    마빈 민스키는 인지 과학자이자 인공지능 연구의 선구자이며, MIT 교수로 재직하며 MIT 컴퓨터과학·인공지능연구소를 설립하고, 헤드 마운트형 그래픽 디스플레이 발명, 로고 프로그래밍 언어 개발 등의 업적을 남겼다.
바바라 리스코프 - [인물]에 관한 문서
기본 정보
리스코프 (2010)
리스코프 (2010)
출생 이름바바라 제인 허버먼
출생일1939년 11월 7일
출생지미국 캘리포니아주 로스앤젤레스
배우자네이선 리스코프 (1970년–)
자녀1명
소속매사추세츠 공과대학교
분야컴퓨터 과학
학력캘리포니아 대학교 버클리 (BA)
스탠퍼드 대학교 (PhD)
박사 학위 지도교수존 매카시
저명한 제자모리스 헐리히
J. 엘리엇 모스
산제이 게마와트
앤드루 마이어스
업적
주요 업적비너스 (운영체제)
CLU
아르고스
토르 (객체 지향 데이터베이스)
리스코프 치환 원칙
박사 학위 논문체스 최종 게임을 플레이하는 프로그램
박사 학위 논문 URL체스 최종 게임을 플레이하는 프로그램
박사 학위 년도1968년
수상
수상 내역IEEE 존 폰 노이만 메달 (2004년)
A. M. 튜링상 (2008년)
컴퓨터 파이오니어 어워드 (2018년)

2. 생애 및 교육

바바라 리스코프는 1939년 11월 7일 캘리포니아주 로스앤젤레스에서 태어났다.[5] 1961년 캘리포니아 대학교 버클리에서 수학 학사 학위를 받았으며, 당시 여성으로서는 드물게 물리학을 부전공하였다.[6] 버클리에서는 전공 분야에 여성 동기생이 한 명뿐이었다.[6]

1968년 스탠퍼드 대학교에서 컴퓨터 과학 박사 학위를 받았으며, 이는 미국 여성 최초의 컴퓨터 과학 박사 학위 중 하나였다.[8][9][10] 스탠퍼드에서 존 매카시와 함께 인공 지능 분야를 연구했으며,[7] 박사 학위 논문은 체스 엔드게임을 플레이하는 컴퓨터 프로그램을 주제로 하였다.[11]

2. 1. 초기 생애

바바라 리스코프는 1939년 11월 7일 캘리포니아주 로스앤젤레스에서 제인(née 디크호프)과 모제스 허버먼의 4명의 자녀 중 장녀로 태어났다.[5] 1961년 캘리포니아 대학교 버클리에서 물리학을 부전공하고 수학 학사 학위를 받았다. 버클리에서 그녀의 전공 분야에는 여성 동기생이 한 명뿐이었다.[6] 대학원 진학을 위해 버클리와 프린스턴의 수학 프로그램에 지원했지만, 당시 프린스턴은 수학과에 여학생을 받지 않았다.[7]

결국 버클리에 합격하였으나, 보스턴으로 이주하여 미트르 코퍼레이션에서 일하면서 컴퓨터와 프로그래밍에 관심을 갖게 되었다.[7] 미트르에서 1년간 근무한 후 하버드로 옮겨 언어 번역 관련 프로그래밍 직무를 맡았다.[7] 이후 다시 학교로 돌아가기로 결심하고 버클리, 스탠퍼드, 하버드에 지원하여, 1968년 3월 스탠퍼드 대학교에서 미국 최초의 여성 중 한 명으로 컴퓨터 과학 박사 학위를 받았다.[8][9][10] 스탠퍼드에서 존 매카시와 함께 인공 지능 분야를 연구했다.[7] 그녀의 박사 학위 논문은 중요한 킬러 휴리스틱을 개발한 체스 엔드게임을 플레이하는 컴퓨터 프로그램에 관한 것이었다.[11]

2. 2. 학부 시절

바바라 리스코프는 1939년 11월 7일 캘리포니아주 로스앤젤레스에서 태어났다.[5] 1961년 캘리포니아 대학교 버클리에서 수학 학사 학위를 받았다.[6] 버클리에서 수학을 전공하면서, 미트르에서 일하며 컴퓨터와 프로그래밍에 관심을 갖게 되었다.[7]

2. 3. 대학원 시절

바바라 리스코프는 1961년 캘리포니아 대학교 버클리에서 수학 학사 학위를 받은 후, 미트르 코퍼레이션과 하버드에서 프로그래밍 관련 업무를 수행했다.[7] 1968년에는 스탠퍼드 대학교에서 존 매카시의 지도를 받아 인공 지능 분야를 연구하여 미국 최초의 여성 중 한 명으로 컴퓨터 과학 박사 학위를 취득했다.[8][9][10][7] 박사 학위 논문은 체스 엔드게임을 플레이하는 컴퓨터 프로그램에 관한 것이었다.[11]

3. 주요 연구 업적

리스코프는 미트르에서 연구원으로 일했으며, 소형 저비용 시분할 시스템인 비너스 운영 체제를 비롯하여, CLU의 설계 및 구현, 분산 프로그램 구현을 지원하고 프로미스 파이프라인 기술을 시연한 최초의 고수준 언어인 Argus, 그리고 객체 지향 데이터베이스 시스템인 Thor 등 많은 중요한 프로젝트를 이끌었다.[2][3] 자넷 윙과 함께 서브타이핑의 특정 정의를 개발했으며, 이는 일반적으로 리스코프 치환 원칙으로 알려져 있다.[3]


  • Argus 프로그래밍 언어 개발: 1980년대에는 분산 시스템 개발을 위한 Argus 프로그래밍 언어를 개발하였다.[3] Argus는 분산 환경에서의 트랜잭션 처리와 결함 허용 기능을 지원하는 선구적인 언어였다.[3] Argus는 분산 프로그램 구현을 지원하고 프로미스 파이프라인 기술을 시연한 최초의 고수준 언어였다.[2]

  • 분산 시스템 및 비잔틴 결함 허용 연구: 리스코프는 MIT의 프로그래밍 방법론 그룹을 이끌며, 비잔틴 장애 허용 및 분산 컴퓨팅에 대한 연구에 중점을 두고 있다.[3] 2009년에는 인포시스 상의 공학 및 컴퓨터 과학 심사위원으로 활동했다.[12]

3. 1. CLU 프로그래밍 언어 개발

리스코프는 CLU의 설계 및 구현을 이끌었다.[2] CLU는 세계 최초로 데이터 추상화 기능을 지원한 프로그래밍 언어이다.[3] 1970년대에 개발된 CLU는 객체 지향 프로그래밍의 발전에 큰 영향을 미쳤다.

3. 2. Argus 프로그래밍 언어 개발

1980년대에는 분산 시스템 개발을 위한 Argus 프로그래밍 언어를 개발하였다.[3] Argus는 분산 환경에서의 트랜잭션 처리와 결함 허용 기능을 지원하는 선구적인 언어였다.[3] Argus는 분산 프로그램 구현을 지원하고 프로미스 파이프라인 기술을 시연한 최초의 고수준 언어였다.[2]

3. 3. 리스코프 치환 원칙

자넷 윙과 함께 서브타이핑의 특정 정의를 개발했으며, 이는 일반적으로 리스코프 치환 원칙으로 알려져 있다.[3] 이 원칙은 객체 지향 프로그래밍에서 하위 타입의 동작 요건을 정의하며, 객체 지향 설계의 핵심 원리 중 하나로 널리 인정받고 있다.

3. 4. 분산 시스템 및 비잔틴 결함 허용 연구

리스코프는 MIT의 프로그래밍 방법론 그룹을 이끌며, 비잔틴 장애 허용 및 분산 컴퓨팅에 대한 연구에 중점을 두고 있다.[3] 또한, 소형 저비용 시분할 시스템인 비너스 운영 체제 개발, CLU의 설계 및 구현, 분산 프로그램 구현을 지원하고 프로미스 파이프라인 기술을 시연한 최초의 고수준 언어인 Argus, 그리고 객체 지향 데이터베이스 시스템인 Thor 등 많은 중요한 프로젝트를 이끌었다.[3] 자넷 윙과 함께 서브타이핑의 특정 정의를 개발했으며, 이는 일반적으로 리스코프 치환 원칙으로 알려져 있다.[3] 2009년에는 인포시스 상의 공학 및 컴퓨터 과학 심사위원으로 활동했다.[12]

4. 수상 및 영예

리스코프는 미국 공학 한림원, 미국 국립 과학 아카데미, 미국 예술 과학 아카데미 회원이며, 계산기 학회(ACM)의 펠로우이다.[13] 2002년에는 MIT의 최고 여성 교수진 중 한 명이자 미국 과학 분야 최고 교수진 50인 안에 선정되었고,[13] ''디스커버'' 잡지에서 선정한 과학 분야에서 가장 중요한 여성 50인 중 한 명으로 뽑혔다.[14]

2004년에는 "프로그래밍 언어, 프로그래밍 방법론, 그리고 분산 컴퓨팅에 대한 근본적인 기여"로 존 폰 노이만 메달을 수상했다.[15] 2005년 11월 19일, 도널드 커누스와 함께 취리히 연방 공과대학교(ETH) 명예 박사 학위를 받았다.[16] 리스코프와 커누스는 ETH 취리히의 저명한 콜로퀴엄 시리즈에도 출연했다.[17] 2011년 루가노 대학교와[18] 2018년 마드리드 폴리테크닉 대학교에서 명예 박사 학위를 받았다.[19]

2008년 ACM 튜링상을 수상했는데,[31][32] 이는 객체 지향 프로그래밍 개발을 이끈 프로그래밍 언어 및 소프트웨어 방법론 설계에 대한 공로를 인정받은 것이다.[21] ACM은 "프로그래밍 언어 및 시스템 설계, 특히 데이터 추상화, 결함 허용 설계, 그리고 분산 컴퓨팅과 관련된 실질적이고 이론적인 기반"에 대한 그녀의 기여를 언급했다.[24] 2012년에는 미국 발명가 명예의 전당에 헌액되었다.[25]

2015년 바이츠만 여성 과학상, 2018년 컴퓨터 개척자 상을 수상하였고, 2023년에는 "신뢰할 수 있고 재사용 가능한 프로그램의 구현을 가능하게 한, 컴퓨터 프로그래밍 언어 및 방법론에 대한 획기적인 기여"로 프랭클린 연구소로부터 벤자민 프랭클린 메달을 수상했다.[26]

4. 1. 튜링상

바바라 리스코프는 2008년 튜링상을 수상했다.[20] 이는 객체 지향 프로그래밍 개발을 이끈 프로그래밍 언어 및 소프트웨어 방법론 설계에 대한 공로를 인정받은 것이다.[21] 구체적으로, 리스코프는 1970년대에 CLU[22]와 1980년대에 Argus[23]라는 두 개의 프로그래밍 언어를 개발했다.[21] ACM은 "프로그래밍 언어 및 시스템 설계, 특히 데이터 추상화, 결함 허용 설계, 그리고 분산 컴퓨팅과 관련된 실질적이고 이론적인 기반"에 대한 그녀의 기여를 언급했다.[24]

4. 2. 폰 노이만 메달

2004년, 바바라 리스코프는 "프로그래밍 언어, 프로그래밍 방법론, 그리고 분산 컴퓨팅에 대한 근본적인 기여"로 존 폰 노이만 메달을 수상했다.[15][26]

4. 3. 기타 수상 및 영예

리스코프는 미국 공학 한림원, 미국 국립 과학 아카데미, 미국 예술 과학 아카데미 회원이며, 계산기 학회(ACM)의 펠로우이다.[13] 2002년에는 MIT의 최고 여성 교수진 중 한 명이자 미국 과학 분야 최고 교수진 50인 안에 선정되었고,[13] ''디스커버'' 잡지에서 선정한 과학 분야에서 가장 중요한 여성 50인 중 한 명으로 뽑혔다.[14]

2004년에는 "프로그래밍 언어, 프로그래밍 방법론, 그리고 분산 컴퓨팅에 대한 근본적인 기여"로 존 폰 노이만 메달을 수상했다.[15] 2005년 11월 19일, 도널드 커누스와 함께 취리히 연방 공과대학교(ETH) 명예 박사 학위를 받았다.[16] 리스코프와 커누스는 ETH 취리히의 저명한 콜로퀴엄 시리즈에도 출연했다.[17] 2011년 루가노 대학교와[18] 2018년 마드리드 폴리테크닉 대학교에서 명예 박사 학위를 받았다.[19]

2008년 ACM 튜링상을 수상했는데,[31][32] 이는 객체 지향 프로그래밍 개발을 이끈 프로그래밍 언어 및 소프트웨어 방법론 설계에 대한 공로를 인정받은 것이다.[21] ACM은 "프로그래밍 언어 및 시스템 설계, 특히 데이터 추상화, 결함 허용 설계, 그리고 분산 컴퓨팅과 관련된 실질적이고 이론적인 기반"에 대한 그녀의 기여를 언급했다.[24] 2012년에는 미국 발명가 명예의 전당에 헌액되었다.[25]

2015년 바이츠만 여성 과학상, 2018년 컴퓨터 개척자 상을 수상하였고, 2023년에는 "신뢰할 수 있고 재사용 가능한 프로그램의 구현을 가능하게 한, 컴퓨터 프로그래밍 언어 및 방법론에 대한 획기적인 기여"로 프랭클린 연구소로부터 벤자민 프랭클린 메달을 수상했다.[26]

5. 개인적인 삶

바바라 리스코프는 1970년에 네이선 리스코프와 결혼했다.[7] 슬하에 아들 모세 리스코프를 두고 있는데, 모세는 MIT에서 컴퓨터 과학 박사 학위를 받았으며 현재 윌리엄 앤 메리 대학교에서 컴퓨터 과학 교수로 재직 중이다.[2]

6. 저서

바바라 리스코프는 2023년 2월 기준으로 5권의 저서와 100편이 넘는 기술 논문을 저술했다. 주요 저서로는 ''CLU: Reference Manual''(1981), ''Abstraction and Specification in Program Development''(1986), ''Program Development in Java: Abstraction, Specification, and Object-Oriented Design''(2000) 등이 있다.

7. 같이 보기

참조

[1] MathGenealogy
[2] 웹사이트 Barbara Liskov. https://amturing.acm[...] Association for Computing Machinery 2021-08-28
[3] 웹사이트 Barbara Liskov http://www.pmg.csail[...] Programming Methodology Group, MIT
[4] 뉴스 Top Prize http://spectrum.mit.[...] MIT Spectrum 2016-07-10
[5] 뉴스 Jane Siegel: Obituary http://www.legacy.co[...] 2014-11-18
[6] 웹사이트 The Architect of Modern Algorithms https://www.quantama[...] 2019-11-20
[7] 서적 The electron and the bit: electrical engineering and computer science at the Massachusetts Institute of Technology, 1902–2002 MIT, Electrical Engineering and Computer Science Dept. 2005-01-01
[8] 웹사이트 Barbara Liskov http://www.engineerg[...] National Academies of Engineering 2007-09-06
[9] 웹사이트 UW-Madison Computer Science Ph.D.s Awarded, May 1965 – August 1970 http://www.cs.wisc.e[...] UW-Madison Computer Sciences Department 2010-11-08
[10] 웹사이트 Barbara Liskov {{!}} Biography, A.M. Turing Award, & Facts https://www.britanni[...] 2021-09-25
[11] 간행물 A program to play chess end games http://www.dtic.mil/[...] Stanford University Department of Computer Science
[12] 웹사이트 Infosys Prize - Jury 2009 https://www.infosys-[...] 2021-03-01
[13] 뉴스 MIT's magnificent seven: Women faculty members cited as top scientists http://news.mit.edu/[...] 2002-11-05
[14] 뉴스 The 50 Most Important Women in Science http://discovermagaz[...] Discover 2002-11-13
[15] 웹사이트 IEEE John von Neumann Medal Recipients https://archive.toda[...] IEEE
[16] 웹사이트 Honorary Doctors http://www.inf.ethz.[...] ETH Computer Science 2006-03-22
[17] 웹사이트 Distinguished Lecturers Barbara Liskov and Donald E. Knuth http://www.inf.ethz.[...] ETH Computer Science 2006-01
[18] 웹사이트 USI Honorary Doctorates https://www.usi.ch/e[...] USI 2021-05-16
[19] 뉴스 Barbara Liskov, nueva doctora honoris causa por la UPM - elEconomista.es http://www.eleconomi[...] 2018-06-11
[20] 뉴스 Top prize in computing goes to MIT professor http://www.boston.co[...] 2009-03-10
[21] 웹사이트 Barbara Liskov Wins Turing Award http://www.ddj.com/h[...] Dr. Dobb's Journal 2009-03-10
[22] 논문 Abstraction mechanisms in CLU 1977-08
[23] 논문 Distributed programming in Argus 1988-03
[24] 웹사이트 ACM Names Barbara Liskov Recipient of the 2008 ACM A.M. Turing Award http://www.acm.org/m[...] Association for Computing Machinery 2009-03-10
[25] 웹사이트 'Spotlight | National Inventors Hall of Fame' http://invent.org/in[...] Invent.org 2016-05-31
[26] 웹사이트 Barbara H. Liskov, Ph.D. https://fi.edu/en/aw[...] 2024-03-25
[27] MathGenealogy
[28] 웹사이트 Barbara Liskov -- Engineergirl http://www.engineerg[...] National Academies of Engineering. 2007-09-06
[29] 웹사이트 UW-Madison Computer Science Ph.D.s Awarded, May 1965 - August 1970 http://www.cs.wisc.e[...] UW-Madison Computer Sciences Department. 2010-11-08
[30] 논문 A program to play chess end games http://oai.dtic.mil/[...] Stanford University Department of Computer Science, Technical Report CS 106, Stanford Artificial Intelligence Project Memo AI-65
[31] 웹사이트 Barbara Liskov Wins Turing Award http://www.ddj.com/h[...] Dr. Dobb's Journal 2009-03-10
[32] 웹사이트 Top prize in computing goes to MIT professor http://www.boston.co[...] The Boston Globe
[33] 웹사이트 ACM Names Barbara Liskov Recipient of the 2008 ACM A.M. Turing Award http://www.acm.rg/me[...] Association for Computing Machinery 2009-03-10
[34] 웹인용 Barbara Liskov https://amturing.acm[...] Association for Computing Machinery 2021-08-28
[35] 웹사이트 Barbara Liskov http://www.pmg.csail[...] Programming Methodology Group, MIT.


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

문의하기 : help@durumis.com