데이나 스콧

1. 개요

데이나 스콧은 1932년 캘리포니아 버클리에서 태어난 미국의 컴퓨터 과학자이자 논리학자이다. 캘리포니아 대학교 버클리에서 학사 학위를, 프린스턴 대학교에서 박사 학위를 받았으며, 캘리포니아 대학교 버클리, 옥스퍼드 대학교, 카네기 멜론 대학교 등에서 교수로 재직했다. 스콧은 비결정적 유한 오토마타의 개념을 도입하여 튜링상을 수상했으며, 크리스토퍼 스트래치와 함께 지시적 의미론을 개발하여 프로그래밍 언어 의미론에 기여했다. 또한 도메인 이론을 공식화하여 재귀 함수와 루프 제어 구조를 포함하는 프로그램에 지시적 의미론을 부여하는 데 기여했다.

더 읽어볼만한 페이지

• 의미론자 - 로버트 앤턴 윌슨
  로버트 앤턴 윌슨은 미국의 작가, 철학자, 심리학자로, 로버트 셰이와 함께 《일루미나티! 삼부작》을 공동 집필하고 《코스믹 트리거》 시리즈, 《슈뢰딩거의 고양이 삼부작》 등 35권이 넘는 저서를 통해 음모론, 의식 확장, 게릴라 존재론 등 다양한 주제를 탐구하며 팝 오컬트 문화에 영향을 미쳤다.
• 의미론자 - S. I. 하야카와
  일본계 캐나다인이자 미국의 학자 겸 정치인인 S. I. 하야카와는 언어와 사고 연구로 학문적 업적을 남기고 샌프란시스코 주립 대학교 총장과 미국 상원 의원을 역임했으나, 강제 수용 옹호 발언 등으로 논란을 빚기도 했다.
• 프로그래밍 언어 연구자 - 에츠허르 데이크스트라
  네덜란드 출신의 컴퓨터 과학자이자 수학자인 에츠허르 데이크스트라는 데이크스트라 알고리즘 개발, 구조적 프로그래밍 옹호, 세마포어 개념 연구, THE 운영체제 개발 참여 등 컴퓨터 과학의 다양한 분야에 큰 공헌을 했다.
• 프로그래밍 언어 연구자 - 니클라우스 비르트
  스위스의 컴퓨터 과학자 니클라우스 비르트는 ALGOL W, 파스칼, 모듈라-2, 오베론 등의 프로그래밍 언어와 오베론 운영체제 설계, 컴파일러 설계 및 소프트웨어 개발 방법론에 기여했으며, "알고리즘 + 데이터 구조 = 프로그램" 저술과 "Program Development by Stepwise Refinement" 논문을 통해 컴퓨터 과학 교육에 혁신적인 영향을 미치고 1984년 튜링상을 수상했다.
• 옥스퍼드 대학교 머튼 칼리지 교수 - 앤드루 와일스
  앤드루 와일스는 1953년 잉글랜드에서 태어난 수학자이며, 1995년 페르마의 마지막 정리를 증명하여 수학계에 기여했고, 옥스퍼드 대학교에서 학위를 받고 프린스턴 대학교 교수를 역임했으며, 다수의 상을 수상했다.
• 옥스퍼드 대학교 머튼 칼리지 교수 - 니컬러스 토머스 라이트
  니컬러스 토머스 라이트는 영국의 성공회 주교이자 신약성서 학자로, 옥스퍼드 대학교에서 신학 박사 학위를 받았고 케임브리지 대학교 등에서 신약성서학을 가르쳤으며 더럼 주교를 역임했고 현재는 세인트앤드류스 대학교에서 신약성경학과 초기 기독교 역사를 가르치며 역사적 예수 연구와 바울 신학 분야에서 세계적인 석학으로 인정받고 '바울에 대한 새 관점'을 제시하고 전통적인 칭의론에 대한 비판적 견해를 제시한 것으로 유명하며 그의 신학적 관점은 많은 지지와 함께 논란과 비판을 불러일으키고 있다.