The Full Wiki

More info on E. Allen Emerson

E. Allen Emerson: Wikis

Advertisements
  

Note: Many of our articles have direct quotes from sources you can cite, within the Wikipedia article! This article doesn't yet, but we're working on it! See more info or our list of citable articles.

Encyclopedia

From Wikipedia, the free encyclopedia

Ernest Allen Emerson is a computer scientist and endowed professor at the University of Texas, Austin, USA.

He won the 2007 A.M. Turing Award along with Edmund M. Clarke and Joseph Sifakis for their pioneering work on Model checking.[1] He is also the recipient of the 1998 ACM Paris Kanellakis Award Theory and Practice Award for Symbolic Model Checking.[2]

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

References

External links

Advertisements

Advertisements






Got something to say? Make a comment.
Your name
Your email address
Message