리처드 E. 스턴스

Richard E.
리처드 에드윈 스턴스
Dick Stearns.jpg
2009년 리처드 스턴스
태어난 (1936-07-05) 1936년 7월 5일 (85세)
콜드웰, 뉴저지 주
모교칼튼 칼리지 (B.A.)
프린스턴 대학교 (박사)
수상ACM 튜링상 (1993)
프레더릭 W. 랭체스터 상 (1995)
과학 경력
기관알바니 대학교
박사학위 자문위원해럴드 쿤
박사과정 학생마드하브 V. 마라테(Harry B 교수와의 공동 연구). 헌트 3세), 톰 오코넬

리처드 에드윈 스턴스(Richard Edwin Stearns, 1936년 7월 5일 출생)는 저명한 컴퓨터 과학자로, 쥬리스 하트마니스와 함께 1993년 ACM 튜링상을 수상하면서 "계산 복잡성 이론 분야의 기초를 확립한 그들의 정석지를 인정받았다"[1]고 한다. 1994년에 그는 컴퓨터 기계 협회의 회원으로 취임했다.

Stearns는 1958년 Carleton College에서 수학 학사 학위를 받았다.[2] 이어 해럴드 W. 쿤의 감독 아래 '부금 없는 3인 협력 게임'이라는 박사학위 논문을 완성한 뒤 1961년 프린스턴대에서 수학 박사학위를 받았다.[3] Stearns는 현재 뉴욕 주립대학에 속해 있는 Albany의 컴퓨터 과학의 저명한 교수다.

참고 문헌 목록

  • Stearns, R.E.; Hartmanis, J. (March 1963), "Regularity preserving modifications of regular expressions", Information and Control, 6 (1): 55–69, doi:10.1016/S0019-9958(63)90110-4. 정규 언어를 보존하는 언어 운용에 대한 최초의 체계적인 연구.
  • Hartmanis, J.; Stearns, R. E. (May 1965), "On the computational complexity of algorithms", Transactions of the American Mathematical Society, American Mathematical Society, 117: 285–306, doi:10.2307/1994208, JSTOR 1994208, MR 0170805. 계산 복잡성 이론의 분야를 형성한 이론들 중 하나인 시간 계층 정리를 포함한다.
  • 결정론적 푸시다운 오토마타에 대한 기본적인 질문에 답하라Stearns, R.E. (September 1967), "A Regularity Test for Pushdown Machines", Information and Control, 11 (3): 323–340, doi:10.1016/S0019-9958(67)90591-8: 주어진 결정론적 푸시다운 오토마톤이 정규 언어를 받아들이는지 여부는 결정적으로 결정된다.
  • 컴파일러 디자인에서 중요한 역할을 하는 LL 파서스를 소개한다Lewis II, P.M.; Stearns, R.E. (1968), "Syntax-Directed Transduction", Journal of the ACM, 15 (3): 465–488, doi:10.1145/321466.321477, S2CID 16512120.

참조

  1. ^ Lewis, Philip M. "Richard ("Dick") Edwin Stearns". AMTuring.ACM.org. Association for Computing Machinery. Retrieved 10 March 2019.
  2. ^ "Richard E Stearns - A.M. Turing Award Laureate". amturing.acm.org. Retrieved 2020-06-18.
  3. ^ Stearns, Richard Edwin (1961). Three person cooperative games without side payments.

외부 링크

P ≟ NP

컴퓨터 과학자와 관련된 이 전기 기사는 단조롭다. 위키피디아를 확장하여 도울 수 있다.