Sonntag, August 24, 2025
Sonntag, 24. August 2025
19.8 C
Heidelberg

We bid farewell to E. Allen Emerson

/ 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.

more

Quelle

Immer Informiert! Infomail abonnieren!

Liste(n) auswählen:

Jede Liste wird als separate Infomail versendet.

Wir senden keinen Spam und keine Werbung! Erfahre mehr in unserer Datenschutzerklärung.

Vorheriger Artikel
Nächster Artikel
Ähnliche Informationen

Kommentieren Sie den Artikel

Bitte geben Sie Ihren Kommentar ein!
Bitte geben Sie hier Ihren Namen ein

Meistgelesen

Neueste Kommentare