데이나 스콧

위키백과, 우리 모두의 백과사전.
이동: 둘러보기, 검색
Picto infobox character.png
데이나 스콧
영어: Dana Stewart Scott
Scott Dana small.jpg
출생 1932년 10월 11일(1932-10-11) (85세)
미국 캘리포니아 주 버클리
분야 컴퓨터 과학
수학
철학
소속 캘리포니아 대학교 버클리
스탠퍼드 대학교
옥스퍼드 대학교
카네기 멜론 대학교
출신 대학 수학 학사(1954, 캘리포니아 대학교 버클리)
박사(1958, 프린스턴 대학교)
지도 교수 알론조 처치
지도 학생 안드레이 바우에르(Andrej Bauer)
라스 비르케달(Lars Birkedal)
잭 코플랜드(Jack Copeland)
마이클 포먼(Michael Fourman)
케네스 쿠넌
앵거스 매킨타이어(Angus Macintyre)
키탄 멀뮬리(Ketan Mulmuley)
마르코 페트코우셰크(Marko Petkovšek)
프레드 S. 로버츠(Fred S. Roberts)
데이비드 터너(David Turner)[1]
주요 업적 오토마타 이론, 시맨틱 (컴퓨터 과학)
수상 리로이 P. 스틸 상 (1972)
튜링상 (1976)
타르스키 강연 (1989)
헤럴드 펜더 상 (1990)
롤프 쇼크 상(논리와 철학 부문)(1997)

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

생애[편집]

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. ISBN 978-052180338-0. doi:10.1017/CBO9780511542725. 

각주[편집]

외부 링크[편집]