E. Allen Emerson

Emerson in 2022 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. Provided by Wikipedia
Showing 1 - 2 results of 2 for search 'Emerson, E. Allen', query time: 0.02s Refine Results
  1. 1
    Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006. Proceedings /
    Published 2006
    Other Authors: “…Emerson, E. Allen…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Computer Aided Verification 12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings /
    Published 2000
    Other Authors: “…Emerson, E. Allen…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search