E. Allen Emerson
E. Allen Emerson | |
|---|---|
Emerson in 2022 | |
| Born | June 2, 1954 |
| Died | October 15, 2024 (aged 70) Austin, Texas, U.S. |
| Education | University of Texas, Austin (BS) Harvard University (MS, PhD) |
| Known for | |
| Awards |
|
| Scientific career | |
| Fields | Computer science |
| Institutions | University of Texas at Austin |
| Doctoral advisor | Edmund M. Clarke |
Ernest Allen Emerson II (June 2, 1954 – October 15, 2024) was an American computer scientist and winner of the 2007 Turing Award. He was Professor and Regents Chair at the University of Texas at Austin.
Emerson is recognized together with Edmund M. Clarke and Joseph Sifakis for the invention and development of model checking, a technique used in formal verification of software and hardware. His contributions to temporal logic and modal logic include the introduction of computation tree logic (CTL) and its extension CTL*, which are used in the verification of concurrent systems. He is also recognized along with others for developing symbolic model checking to address combinatorial explosion that arises in many model checking algorithms.