E. Allen Emerson

E. Allen Emerson

Ernest Allen Emerson II (June 2, 1954 – October 15, 2024) was an American computer scientist and winner of the 2007 Turing Award.

Verified Appreciation 24,384

Scientists & Inventors Standing #408 Rank

The Saga of E. Allen Emerson

1 min read

Profile & Early Foundations

Ernest Allen Emerson II (June 2, 1954 – October 15, 2024) was an American computer scientist and winner of the 2007 Turing Award. He was a professor at the University of Texas at Austin from 1981 to 2016.

THE JOURNEY & BREAKTHROUGHS

Major Works & Significant Milestones

Emerson is credited together with Edmund M.

Key Milestone & Career Defining Moment

Ernest Allen Emerson II (June 2, 1954 – October 15, 2024) was an American computer scientist and winner of the 2007 Turing Award.

— Official Historical Record & Archive

SUCCESS & ENDURING LEGACY

Honours, Standing & Enduring Legacy

Clarke and Joseph Sifakis for the invention and development of model checking, a technique used in formal verification of software and hardware.

Inspired by E. Allen Emerson's Journey?

Join thousands of supporters and give your Heart to rank E. Allen Emerson higher on the public ledger.

Give Your Heart

Profile & Early Foundations

Major Works & Significant Milestones

Honours, Standing & Enduring Legacy

More Top Figures in Scientists & Inventors

You supported E. Allen Emerson!