E. Allen Emerson
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
.
He is also the recipient of the 1998 ACM
Paris Kanellakis Award
Theory and Practice Award for Symbolic Model Checking.
He received his BSc
degree in mathematics from the University of Texas, Austin in 1976 and his PhD
degree in applied mathematics at Harvard University
in 1981.
Working with Edmund M. Clarke
in the 1980s, he invented computation tree logic
He won the 2007 A.M. Turing Award
Turing Award
The Turing Award, in full The ACM A.M. Turing Award, is an annual award given by the Association for Computing Machinery to "an individual selected for contributions of a technical nature made to the computing community. The contributions should be of lasting and major technical importance to the...
along with Edmund M. Clarke
Edmund M. Clarke
Edmund Melson Clarke, Jr. is a computer scientist and academic noted for developingmodel checking, a method for formally verifying hardware and software designs....
and Joseph Sifakis
Joseph Sifakis
Joseph Sifakis is a Greek-French computer scientist, laureate of the 2007 Turing Award, along with Edmund M. Clarke and E. Allen Emerson, for his work on model checking....
for their pioneering work on Model checking
Model checking
In computer science, model checking refers to the following problem:Given a model of a system, test automatically whether this model meets a given specification....
.
He is also the recipient of the 1998 ACM
Association for Computing Machinery
The Association for Computing Machinery is a learned society for computing. It was founded in 1947 as the world's first scientific and educational computing society. Its membership is more than 92,000 as of 2009...
Paris Kanellakis Award
Paris Kanellakis Award
The Paris Kanellakis Theory and Practice Award is granted yearly by the Association for Computing Machinery to honor specific theoretical accomplishments that have had a significant and demonstrable effect on the practice of computing...
Theory and Practice Award for Symbolic Model Checking.
He received his BSc
Bachelor of Science
A Bachelor of Science is an undergraduate academic degree awarded for completed courses that generally last three to five years .-Australia:In Australia, the BSc is a 3 year degree, offered from 1st year on...
degree in mathematics from the University of Texas, Austin in 1976 and his PhD
Doctor of Philosophy
Doctor of Philosophy, abbreviated as Ph.D., PhD, D.Phil., or DPhil , in English-speaking countries, is a postgraduate academic degree awarded by universities...
degree in applied mathematics at Harvard University
Harvard University
Harvard University is a private Ivy League university located in Cambridge, Massachusetts, United States, established in 1636 by the Massachusetts legislature. Harvard is the oldest institution of higher learning in the United States and the first corporation chartered in the country...
in 1981.
Working with Edmund M. Clarke
Edmund M. Clarke
Edmund Melson Clarke, Jr. is a computer scientist and academic noted for developingmodel checking, a method for formally verifying hardware and software designs....
in the 1980s, he invented computation tree logic