앨런 에머슨

E. Allen Emerson
어니스트 앨런 에머슨 2세
태어난 (1954-06-02) 1954년 6월 2일(68세)
텍사스 주 댈러스
시민권미국
교육하버드 (PhD 1981)
어워드파리 카넬라키스 이론실천상 (1998)
튜링상 (2007)
과학 경력
필드컴퓨터 공학
기관텍사스 대학교 오스틴, 미국
박사 어드바이저에드먼드 M. 클라크

E. 앨런 에머슨(Allen Emerson, 1954년 6월 2일 ~ )은 미국의 컴퓨터 과학자입니다.그는 미국 오스틴 텍사스 대학의 명예 교수 겸 레지던트 의장입니다.

그는 2007년 A.M.에서 우승했다. 모델 [1]체크의 발명과 개발에 대한 공로로 에드먼드 M. 클라크, 조셉 시파키스와 함께 튜링상.1998년 ACM 파리 카넬라키스 이론 및 실천상 상징적 모델 [2]체크 부문 수상자이기도 하다.

그는 1976년[3] 오스틴 텍사스 대학에서 수학 학사 학위를,[3] 1981년 하버드 대학에서 응용 수학 박사 학위를 받았습니다.

「 」를 참조해 주세요.

레퍼런스

  1. ^ "ACM Turing Award Honors Founders of Automatic Verification Technology That Enables Faster, More Reliable Designs". February 4, 2008.
  2. ^ "AWARDS -- E. ALLEN EMERSON -- 'ACM A.M. Turing Award' and 'Paris Kanellakis Theory and Practice Award'". Association for Computing Machinery. 2015. Archived from the original on June 6, 2015. Retrieved July 21, 2015. […] authored seminal papers that founded what has become the highly successful field of Model Checking.
  3. ^ a b "Kanellakis Award". Association for Computing Machinery. March 26, 1999. Archived from the original on June 5, 2011. Retrieved February 5, 2008.

외부 링크

P np NP

컴퓨터 과학자와 관련된 이 전기 기사는 엉터리이다.위키피디아를 확장함으로써 위키피디아를 도울 수 있습니다.

  1. ^ (대체 URL:http://www.cs.utexas.edu/users/emerson/ )