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


Niels Levy-Thiebaut, Franchesca Untalan and Neha Donthineni

The Alcalde

Star Students: Meet the 2025 President’s Leadership Winners

A young woman in burnt orange smiles while sitting in front of a microscope in a lab and collections space.

UT Bridging Disciplines Program

Abby Jones’ Multifaceted UT Journey

A scientist sits at a desk writing

Department of Computer Science

University of Texas Theoretical Computer Scientist Wins Gödel Prize