Siddhesh Joshi (Editor)

E Allen Emerson

Updated on
Edit
Like
Comment
Share on FacebookTweet on TwitterShare on LinkedInShare on Reddit
Nationality
  
American

Fields
  
Computer Science

Alma mater
  
U. of Texas, Harvard

Awards
  
Turing Award


Name
  
E. Emerson

Role
  
Computer scientist

E. Allen Emerson wwwcsutexaseduemersoneaec2002smalljpg

Born
  
June 2, 1954 (age 70) Dallas, Texas, U.S. (
1954-06-02
)

Institutions
  
University of Texas, Austin, USA

Notable awards
  
Paris Kanellakis Theory and Practice Award (1998)Turing award (2007)

Education
  
Harvard University (1981), University of Texas at Austin (1976)

Similar People
  
Edmund M Clarke, Joseph Sifakis, Tony Hoare, Munindar P Singh, Robert Lee Constable

Academic advisor
  
Edmund M. Clarke

Notable students
  
Munindar P. Singh

Systems Architecture, Design, Engineering, and Verification


Ernest Allen Emerson (born June 2, 1954) is a computer scientist and endowed professor at the University of Texas, Austin, United States.

E. Allen Emerson E Allen Emerson Heidelberg Laureate Forum

He won the 2007 A.M. Turing Award along with Edmund M. Clarke and Joseph Sifakis for the invention and development of Model checking. He is also the recipient of the 1998 ACM Paris Kanellakis Award Theory and Practice Award for Symbolic Model Checking.

E. Allen Emerson E Allen Emerson Department of Computer Science

He received his BS degree in mathematics from the University of Texas, Austin in 1976 and his PhD degree in applied mathematics at Harvard University in 1981.

References

E. Allen Emerson Wikipedia
(Text) CC BY-SA


Similar Topics