/ via heidelberg laureate forum /
We bid farewell to the computer scientist E. Allen Emerson, who passed away on October 15, 2024. He received the 2007 ACM A.M. 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. We offer our sincere condolences to his family and friends.
