In Memoriam: E. Allen Emerson

Notices where this attachment appears

1. Embed this notice
   The Official ACM (acm@mastodon.acm.org)'s status on Friday, 18-Oct-2024 05:17:33 JST The Official ACM

   We mourn the passing of E. Allen Emerson, ACM A.M. Turing Laureate and Professor of Computer Science at UT Austin, on October 15, 2024.

   He received the Turing Award together with Edmund Clarke and Joseph Sifakis for their role in developing model-checking into a highly effective verification technology that was widely adopted in the hardware and software industries.

   His legacy in computer science will endure, and our thoughts are with his loved ones. https://bit.ly/3wGCXOF