E. Allen Emerson

Ernest Allen Emerson (2 Haziran 1954 - 15 Ekim 2024), Amerikalı bilgisayar bilimcisi. Austin Teksas Üniversitesi'nde profesör olarak çalışmaktadır. Model denetimi konulu çalışmasıyla Edmund M. Clarke ve Joseph Sifakis'le birlikte 2007 Turing Ödülü'nü almaya hak kazanmıştır.

15 Ekim 2024'te 70 yaşında öldü.

 Kaynakça 

Kategori:1954 doğumlular
Kategori:Dallas doğumlular
Kategori:Teksas doğumlu bilim insanları
Kategori:Amerikalı akademisyenler
Kategori:Amerikalı bilgisayar bilimcileri
Kategori:Austin Teksas Üniversitesinde öğrenim görenler
Kategori:Harvard School of Engineering and Applied Sciences'ta öğrenim görenler
Kategori:Teksas Üniversitesi, Austin öğretim üyeleri
Kategori:Turing Ödülü sahipleri
Kategori:Biçimsel yöntemler kişileri
Kategori:2024'te ölenler