1993년 바바라 리스코프와 함께 개발된 리斯科프 치환 원칙은 소프트웨어 공학 방법론에 있어 여전히 기초적인 기여로 남아 있습니다. 1956년 뉴어크에서 태어난 자넷 윙(Jeannette Wing)은 수십 년 동안 이론 컴퓨터 과학과 산업적용 사이의 격차를 좁히는 데 힘써왔습니다. 그녀의 경력은 학계, 정부 정책, 기업 연구소를 아우르며 주로 프로그래밍 언어와 형식적 방법에 초점을 맞추고 있습니다.
학문적 기반과 연구
윙은 1979년 6월 매사추세츠 공과대학교에서 로널드 리베스트와 존 라이저의 지도 아래 전기공학 및 컴퓨터과학 학사 및 석사 학위를 취득했습니다. 그녀는 1983년 같은 기관에서 존 구태그의 지도로 컴퓨터과학 박사 학위를 받았습니다. 초기 교직 경력으로는 1982년부터 1985년까지 서던캘리포니아 대학교, 이어 1985년부터 2012년까지 카네기 멜론 대학교에서 재직했습니다. 카네기 멜론 대학교 재직 중 2004~2007년과 2010~2012년 두 차례에 걸쳐 컴퓨터과학과 학과장을 역임했습니다.
공공정책 및 기업 리더십
대학 연구를 넘어 윙은 영향력 있는 행정 직책을 맡았습니다. 그녀는 2007년부터 2010년 사이 국립과학재단에서 컴퓨터 및 정보과학공학 부국장을 지냈습니다. 2013년 1월 민간 부문으로 자리를 옮겨 마이크로소프트 리서치의 기업 부사장이 되었으며, 2017년 6월 30일까지 글로벌 연구소와 연구 연계를 관리했습니다. 이후 컬럼비아 대학교 데이터 사이언스 연구소의 아바네시안즈 소장직을 맡았고, 2021년 9월 1일 이 대학의 연구 담당 수석부총장으로 임명되었습니다.
컴퓨팅 사고에 대한 기여
윙은 컴퓨터 과학에서 흔히 쓰이는 알고리즘적 추상화 기법을 다양한 학문 분야에 적용하는 컴퓨팅 사고의 주창자로 인정받고 있습니다. 형식적 방법, 특히 Larch와 관련된 그녀의 연구는 프로그래밍 방법론에 지대한 영향을 미쳤습니다. 그녀는 'Journal of the ACM' 및 'Formal Methods in System Design'을 비롯한 수많은 편집위원회에서 활동하고 있습니다. 주요 전문적 영예로는 1998년 ACM 펠로 선정, 2003년 IEEE 펠로 선정, 그리고 신뢰할 수 있는 컴퓨팅 및 형식적 방법에 대한 공로로 2024년 미국 공학한림원 회원 선출이 있습니다.
주요 정보
- 출생: 1956년, 뉴어크 - 학력: 매사추세츠 공과대학교 - 주력 분야: 컴퓨터 과학, 인공지능, 프로그래밍 언어 - 주요 직책: 컬럼비아 대학교 연구 담당 수석부총장 - 주요 업적: 리스코프 치환 원칙 (1993년) - ACM 펠로: 1998년 - IEEE 펠로: 2003년 - 개인적 취미: 당수도 4단 검은띠
독자들의 질문
### 리스코프 치환 원칙이란 무엇인가요?
1993년 바바라 리스코프와 함께 개발한 것으로, 프로그램의 정확성을 해치지 않으면서 상위 클래스의 객체를 하위 클래스의 객체로 어떻게 대체할 수 있어야 하는가에 관한 프로그래밍 방법론의 개념입니다.
### 자넷 윙이 말하는 컴퓨팅 사고란 무엇을 의미하나요?
컴퓨터 과학자들이 사용하는 문제 해결 기법과 알고리즘적 추상화 과정을 표현하여 다른 학문적 및 실무적 분야의 연구와 과제에 적용할 수 있도록 하는 과정을 의미합니다.
