주 메뉴 열기

데이나 스튜어트 스콧(영어: Dana Stewart Scott IPA[ˈdeɪnə ˈstjuːə(r)t ˈskɒt], 1932~)은 미국의 컴퓨터 과학자·수리논리학자이다.

Picto infobox character.png
데이나 스콧
영어: Dana Stewart Scott
Scott Dana small.jpg
출생 1932년 10월 11일(1932-10-11) (87세)
미국 캘리포니아주 버클리
분야 컴퓨터 과학
수학
철학
소속 캘리포니아 대학교 버클리
스탠퍼드 대학교
옥스퍼드 대학교
카네기 멜론 대학교
출신 대학 수학 학사(1954, 캘리포니아 대학교 버클리)
박사(1958, 프린스턴 대학교)
지도 교수 알론조 처치
지도 학생 잭 코플랜드(Jack Copeland)
케네스 쿠넌
앵거스 매킨타이어(Angus Macintyre)[1]
주요 업적 오토마타 이론, 컴퓨터 의미론
수상 리로이 P. 스틸 상 (1972)
튜링상 (1976)
타르스키 강연 (1989)
헤럴드 펜더 상 (1990)
롤프 쇼크 상(논리와 철학 부문)(1997)

생애편집

1932년 10월 11일 캘리포니아주 버클리에서 태어났다. 1954년에 캘리포니아 대학교 버클리에서 학사 학위를 수여받았고, 1958년에 알론조 처치 밑에서 프린스턴 대학교에서 박사 학위를 수여받았다.

1960년부터 1963년까지 캘리포니아 대학교 버클리 수학과 조교수로 있었다. 1972년부터 1981년까지 옥스퍼드 대학교 머튼 칼리지(영어: Merton College)의 수학 교수로 있었다. 이후 1981년에 카네기 멜런 대학교 교수가 되었다.

저서편집

  • Lemmon, Edward John; Scott, Dana (1977). 《An introduction to modal logic: the Lemmon notes》. American Philosophical Quarterly Monograph Series (영어) 11. Blackwell. ISBN 978-063111550-2. ISSN 0084-6422. 
  • Gierz, G.; Hofmann, K. H.; Keimel, K.; Lawson, J. D.; Mislove, M. W.; Scott, D. S. (2003). 《Continuous lattices and domains》. Encyclopedia of Mathematics and its Applications (영어) 93. Cambridge University Press. doi:10.1017/CBO9780511542725. ISBN 978-052180338-0. 

각주편집

외부 링크편집