Web results:
Doctoral advisor. Edmund M. Clarke. Ernest Allen Emerson II (born June 2, 1954), better known as E. Allen Emerson, is an American computer scientist and winner of the 2007 Turing Award. He is Professor and Regents Chair Emeritus at the University of Texas at Austin, United States.
E. Allen Emerson Regents Chair and Professor Emeritus Department of Computer Science Gates-Dell Complex 3.720 The University of Texas at Austin Austin, TX 78712 USA Phone: 512-471-9537 (office) 512-471-7316 (secretary) 512-471-8885 (fax) Email: emerson at cs.utexas.edu
E. Allen Emerson, American computer scientist who was cowinner of the 2007 A.M. Turing Award for ‘his role in developing Model-Checking into highly effective verification technology, widely adopted in the hardware and software industries.’ Learn more about Emerson’s life and career.
E. Allen Emerson Regents Chair and Professor Emeritus Department of Computer Science Gates-Dell Complex 3.720 The University of Texas at Austin Austin, TX 78712 USA Phone: 512-471-9537 (office) 512-471-7316 (secretary) 512-471-8885 (fax) Email: emerson at cs.utexas.edu Brief Biography
E. Allen Emerson. Professor Emeritus. Emerson is noted for the invention and development of model checking, an algorithmic methods of verifying nominally finite state programs, originally proposed in a paper with Clarke in 1981. He has played a central role in its development through improved model checking algorithms, and new techniques for ...
Emerson is an Highly Cited Researcher of the Information Sciences Institute, a recognition given to the 250 most referenced computer science researchers. He has served as editor for leading formal methods journals, including ACM Transactions on Computational Logic ( ToCL ), Formal Methods in Systems Design ( FMSD ), Formal Aspects of Computing ...
Applied Mathematician alumnus honored for co-developing model checking. February 6, 2008. 2007 – E. Allen Emerson See the ACM Author Profile in the Digital Library. University of Texas at Austin (2007) Citation. For his role in developing Model-Checking into a highly effective verification technology, widely adopted in the hardware and ...
Ernest Allen Emerson II , better known as E. Allen Emerson, is an American computer scientist and winner of the 2007 Turing Award. He is Professor and Regents Chair Emeritus at the University of Texas at Austin, United States.
E. Allen Emerson was born in Dallas, Texas. He received the B.S. degree in mathematics from the University of Texas, Austin and the Ph.D. degree in applied mathematics from Harvard University, Cambridge, MA, in 1981. He is a codeveloper of model checking, an algorithmic verification method.
Ernest Allen Emerson II was born and grew up in Dalla= s, Texas. He was always interested in scientific and mathematical topics. He taught himself calculus several years before he took it in public school. Emerson took a course on computer programming in high school, and learned B= ASIC on a GE Mark I Time Sharing System.
AOL Web Search
About 913,000 search results
Ernest Allen Emerson II, better known as E. Allen Emerson, is an American computer scientist and winner of the 2007 Turing Award. He is Prof... Wikipedia
People also search for