제럴드 제이 서스먼

Gerald Jay Sussman
제럴드 제이 서스먼
Photograph of head of a man wearing glasses and a dark burgundy fez hat
1986년 SICP 강의 비디오 녹화 출연 Gerry Sussman
태어난 (1947-02-08) 1947년 2월 8일(75세)
미국
시민권미국
교육매사추세츠 공과대학 (BSC 1968, 박사 1973년)
로 알려져 있다컴퓨터 프로그램의 인공지능, 구조 및 해석
배우자줄리 서스먼
어워드IJCAI 컴퓨터와 사상상(1981년)
ACM 펠로우(1990)
과학 경력
필드인지과학, 전기공학, 컴퓨터공학
기관매사추세츠 공과대학
논문기술 습득의 계산 모델 (1973)
박사 어드바이저시모어 파퍼트
박사과정 학생
웹 사이트groups.csail.mit.edu/mac/users/gjs

제럴드 제이 서스먼(Gerald Jay Sussman, 1947년 2월 8일 ~ )은 MIT(Massachusetts Institute of Technology)의 파나소닉 전기공학 교수입니다.그는 1968년과 1973년에 각각 MIT에서 수학으로 S.B.와 박사 학위를 받았습니다.그는 1964년부터 MIT에서 인공지능 연구에 관여해 왔다.그의 연구는 과학자들과 엔지니어들이 사용하는 문제 해결 전략을 이해하는 데 중점을 두고 있으며, 프로세스의 일부를 자동화하고 이공계 교육의 보다 효과적인 방법을 제공하기 위해 이를 공식화하는 것을 목표로 하고 있다.또한 컴퓨터 언어, 컴퓨터 아키텍처 및 VLSI(Very Large Scale Integration) 설계에도 종사했습니다.[1]

교육

서스먼은 매사추세츠 공과대학에 학부생으로 입학해 1968년 수학으로 S.B. 학위를 받았다.그는 MIT에서 공부를 계속했고 1973년 세이모어 파퍼트의 지도 아래 수학 박사 학위를 취득했다.그의 박사학위 논문은 인공지능과 기계학습에 초점을 맞춘 '기술 습득의 컴퓨터 모델'로 명명됐으며,[2] HACKER라는 컴퓨터 성능 모델을 사용했다.

학술적인 일

Sussman은 Hal Abelson 및 Julie Sussman과 함께 컴퓨터 사이언스 입문 교과서 구조와 컴퓨터 프로그램의 해석의 공동 저자입니다.그것은 MIT에서 수십 년 동안 사용되었고 여러 [citation needed]언어로 번역되었습니다.

인공 지능에 대한 서스만의 공헌은 거의 올바른 계획을 디버깅하는 문제 해결, 전기 회로 분석과 합성에 적용되는 제약의 전파, 의존성 기반 설명과 의존성 기반 역추적, 그리고 문제 해결 전략을 표현하기 위한 다양한 언어 구조를 포함한다.서스먼과 그의 전 제자 가이 스틸 주니어는 1975년에 프로그래밍 언어 스킴을 발명했다.

서스먼은 인공지능 아이디어가 컴퓨터 지원 설계(CAD)에 적용될 수 있다고 보았다.Sussman은 대학원생들과 함께 VLSI(Very Large Scale Integration)를 위한 정교한 컴퓨터 지원 설계 도구를 개발했습니다.스틸은 1978년에 최초의 스킴 칩을 만들었다.이러한 아이디어와 이를 지원하기 위한 AI 기반 CAD 기술은 1979년과 1981년의 Scheme 칩에서 더욱 발전되었습니다.그 후 개발된 기술과 경험은 다른 특수 목적의 컴퓨터를 설계하는 데 사용되었다.Sussman은 궤도 역학 실험을 위해 고정밀 통합을 하도록 설계된 기계인 Digital Orrey의 수석 디자이너였습니다.Orrey는 AI 기반의 시뮬레이션과 컴파일 [3]도구를 사용하여 몇 달 만에 소수의 사람들에 의해 설계되고 만들어졌다.

디지털 오리를 사용하여, 서스먼은 잭 위즈덤과 함께 외계의 혼란스러운 움직임에 대한 수치적 증거를 발견해 왔다.Digital Orrey는 현재 워싱턴 DC의 Smithsonian Institute에서 은퇴했습니다.Sussman은 또한 일반 미분 방정식의 진화에 최적화된 또 다른 멀티프로세서 컴퓨터인 Supercomputer Toolkit의 수석 디자이너이기도 했습니다.Supercomputer Toolkit은 Sussman과 Wise가 Digital Orrey에서 발견한 내용을 확인하고 확장하기 위해 사용되었으며, 행성계 [4][5]전체를 포함했습니다.

Sussman은 전기 회로 및 신호 및 시스템의 교육 과목에서 방법론적 아이디어를 전달하기 위해 컴퓨터 기술 사용을 개척했습니다.지난 10년 동안 Sussman과 Wisdom은 컴퓨터 기술을 사용하여 고급 고전 역학에 대한 더 깊은 이해를 전달하는 주제를 개발했습니다.컴퓨터 사이언스: 현장에서의 성찰, 현장으로부터의 성찰에서 그는...계산 알고리즘은 동적 현상의 해석에 사용되는 방법을 표현하기 위해 사용된다고 쓰고 있습니다.컴퓨터 언어로 방법을 표현하면 모호하지 않고 계산적으로 효과적입니다.학생들은 그 프로그램을 읽고, 그것을 확장하고, 새로운 프로그램을 쓰도록 요구받는다.컴퓨터 실행 가능한 프로그램으로 메서드를 공식화하고 해당 프로그램을 디버깅하는 작업은 학습 과정에서 강력한 연습입니다.또한 절차적으로 공식화되면 수학적 아이디어는 결과를 계산하는 데 직접 사용할 수 있는 도구가 됩니다."서스만과 지혜는 마인하르트 메이어와 함께 이러한 새로운 아이디어를 포착하기 위해 고전 역학의 구조와 해석이라는 교과서를 제작했습니다.

또한 Sussman과 Abelson은 MIT/GNU Scheme를 무료[6] 소프트웨어로 출시하고 Free Software [7]Foundation 이사회에서 활동하는 등 자유 소프트웨어 운동의 일부이기도 합니다.

Sussman의 업적은 많은 비디오에 게재되어 있습니다.예를 들어 Lisp를 위해 Hal Abelson은 MIT의 SICP 코스의 [8]풀20 강연 버전에 포함되어 있습니다.NYC는 [9][10]ArsDigita [12]University에서 열린 국제 복합 [11]시스템 회의에서 [13][14]기조강연을 했습니다.

수상 및 조직

컴퓨터 사이언스 교육에 대한 공헌으로 1990년에는 컴퓨터 기계 협회(ACM)의 Karl Karlstrom Excellent Educator Award, [15]1992년에는 교사 Amar G. Bose Award를 수상했습니다.

Sussman과 Hal Abelson은 Free Software Foundation(FSF)[16] 이사회에서 아직 활동 중인 유일한 창립 이사입니다.

Sussman은 미국 전기전자공학협회(IEEE)의 펠로우이며, 미국공학아카데미(NAE)의 회원이며, AAAI(American Association for Computing Machineery(ACM)의 펠로우입니다.(AAAS), 뉴욕과학아카데미(NYAS) 펠로우 및 미국예술과학아카데미 펠로우.그는 또한 미국 시계 제작자 협회(AWI)의 종신 회원, 매사추세츠 시계 제작자 협회(MWCA)의 회원, 보스턴 아마추어 망원경 제작자(ATMOB)의 회원, 아메리칸 라디오 릴레이 리그([15]ARR)의 회원입니다.

사생활

제럴드 서스먼은 컴퓨터 프로그래머 줄리 [17]서스먼과 결혼했다.

참고 문헌 선택

「 」를 참조해 주세요.

레퍼런스

  1. ^ Sussman, Gerald Jay. "Biographical sketch of Gerald Jay Sussman". Massachusetts Institute of Technology. Retrieved 2019-09-09.
  2. ^ Sussman, Gerald (1973). A Computational Model of Skill Acquisition (Ph.D.). Massachusetts Institute of Technology. hdl:1721.1/6894.
  3. ^ Applegate, James; Douglas, M.; Gursel, Y.; Hunter, P.; Seitz, C.; Sussman, Gerald Jay (September 1985). "A Digital Orrery". IEEE Transactions on Computers. C-34 (9): 822–831. doi:10.1109/TC.1985.1676638. S2CID 10002156.
  4. ^ Applegate, James; Douglas, M.; Gursel, Y.; Sussman, Gerald Jay; Wisdom, Jack (July 1986). "The Outer Solar System for 200 Million Years". Astronomical Journal. 92: 176–194. Bibcode:1986AJ.....92..176A. doi:10.1086/114149. hdl:1721.1/6442.
  5. ^ Sussman, Gerald Jay; Wisdom, Jack (July 1988). "Numerical evidence that the motion of Pluto is chaotic". Science. 241 (4864): 433–7. Bibcode:1988Sci...241..433S. doi:10.1126/science.241.4864.433. hdl:1721.1/6038. PMID 17792606. S2CID 1398095. Archived from the original on 2017-07-06.
  6. ^ "MIT/GNU Scheme". Free Software Foundation. Retrieved 2019-09-11.
  7. ^ "Staff and Board". Free Software Foundation. Retrieved 2019-09-11.
  8. ^ Sussman, Gerald (July 1986). MIT OpenCourseWare: Video Lectures (videotape). Massachusetts: Massachusetts Institute of Technology.
  9. ^ Sussman, Gerald (January 2016). Flexible Systems, The Power of Generic Operations (videotape). LispNYC. Retrieved 2019-09-11.
  10. ^ "LispNYC". LispNYC. Retrieved 2019-09-11.
  11. ^ Sussman, Gerald (June 11, 2002). Formalizing Science (videotape). New England Complex Systems Institute (NECSI). Retrieved 2019-09-11.
  12. ^ Sussman, Gerald (2001). The Legacy of Computer Science (videotape).
  13. ^ Sussman, Gerald (September 19, 2011). We Really Don't Know How To Compute! (videotape). InfoQ.
  14. ^ "Strange Loop". Strange Loop. Retrieved 2019-09-11.
  15. ^ a b "Gerald Sussman MIT CSAIL". www.csail.mit.edu. Retrieved 2022-06-01.
  16. ^ "Staff and Board — Free Software Foundation — Working together for free software". www.fsf.org. Retrieved 2022-06-01.
  17. ^ Aquino, Mario (2011-09-22). "The teacher". Blogger. Retrieved 2019-09-09.

외부 링크