바바라 리스코프

1. 개요

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

2. 생애 및 교육

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

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

2.1. 초기 생애

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

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

2.2. 학부 시절

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

2.3. 대학원 시절

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

3. 주요 연구 업적

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

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

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

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

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

3.1. CLU 프로그래밍 언어 개발

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

3.2. Argus 프로그래밍 언어 개발

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

3.3. 리스코프 치환 원칙

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

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

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

4. 수상 및 영예

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

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

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

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

4.1. 튜링상

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

4.2. 폰 노이만 메달

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

4.3. 기타 수상 및 영예

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

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

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

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

5. 개인적인 삶

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

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. 같이 보기

* CLU (프로그래밍 언어)
* Argus (프로그래밍 언어)
* 리스코프 치환 원칙
* 객체 지향 프로그래밍
* 분산 시스템