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.
2. Juni 2009 · 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
Ernest Allen Emerson 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. Dort machte er 1976 auch seinen Bachelor in Mathematik, und daraufhin 1981 an der Harvard ...
