E. Allen Emerson

Ernest Allen Emerson ( born June 2, 1954 in Dallas ) is an American computer scientist and Turing Award winner. Along with Edmund M. Clarke, he has done pioneering work in the field of model checking. Emerson is computer science professor at the University of Texas at Austin.

There he made in 1976 and his bachelor's degree in mathematics, and then in 1981 from Harvard University with a Ph.D. in applied mathematics.

At Harvard, he proposed in 1981 together with his supervisor Clarke in a paper that model checking for the verification of finite parallel programs before, now a recognized and widely used method. Since then he has contributed to the improvement and simplification and also worked in the field of automatic program synthesis, verification of parameterized systems and data - structure evidence. He also made significant contributions to the theory and application of temporal logic.

In 2007, Emerson along with Clarke and independently of the two also working on the model checking Joseph Sifakis the Turing Award. In addition, Emerson has received numerous other awards, including the Best Paper Award at Hawaii International Software Systems Sciences Conference 1985 ACM Paris Kanellakis Award - 1998, at Carnegie Mellon University Allen Newell Award for Research Excellence in 1999 and the IEEE Symposium on Logic in Computer Science test -of -Time Award 2006.

He is in the editorial boards of leading journals in the field of formal methods, including Transactions on Computational Logic, Formal Aspects of Computing, and Formal Methods in Systems Design, and the conference program committee of the International Symposium on Automated Technology for Verification and Analysis, and the International Conference on Verification, Model Checking, and Abstract interpretation. He is among the most-cited computer scientists in CiteSeer.