Suchergebnisse
Suchergebnisse:
Allen Emerson, 2022. Ernest Allen Emerson (* 2. Juni 1954 in Dallas) ist ein US-amerikanischer Informatiker und Turing-Preisträger. Zusammen mit Edmund M. Clarke hat er Pionierarbeit auf dem Gebiet der Modellprüfung geleistet. Emerson ist Informatik-Professor an der University of Texas at Austin.
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.
Learn about the life and achievements of E. Allen Emerson, a computer science professor who co-developed model checking, a verification technology widely used in hardware and software industries. Find out how he overcame the state explosion problem, developed expressive logics, and influenced the adoption of model checking by industry.
1. Mai 2024 · 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.
- William L. Hosch
This page gives the biographical information about E. Allen Emerson, the co-inventor of Model Checking, a popular technique used for automatic formal verification of hardware and software programs.
2. Mai 2024 · E. Allen Emerson: Temporal and Modal Logic. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) 1990: 995-1072
E. Allen Emerson. ACM A. M. Turing Award. USA - 2007. READ FULL CITATION AND ESSAY. citation. Together with Edmund Clarke and Joseph Sifakis, for their role in developing Model-Checking into a highly effective verification technology that is widely adopted in the hardware and software industries.
