Remembering Turing Award Winner E. Allen Emerson

October 21, 2024 • by Marc Airhart

Emerson was a pioneer of a computer science technique called Model Checking that has become a standard approach in hardware and software development.

Portrait of a bearded man in a sports coat

E. Allen Emerson


Share


A scientist sits at a desk writing

Department of Computer Science

University of Texas Theoretical Computer Scientist Wins Gödel Prize

A professor in a UT electrical and computer engineering shirt points at a screen with scientific imagery, as two seated students and another researcher smile and look on.

Cockrell School of Engineering

Can AI Make Critical Communications Chips Easier to Design?