E. Allen Emerson

Vikipedi, özgür ansiklopedi
Gezinti kısmına atla Arama kısmına atla
Ernest Allen Emerson II
Doğum 2 Haziran 1954 (1954-06-02) (65 yaşında)
Dallas, Teksas, ABD
Dalı Bilgisayar bilimi
Öğrenim Austin Teksas Üniversitesi
Harvard Üniversitesi
Aldığı ödüller Turing Ödülü (2007)

Ernest Allen Emerson (d. 2 Haziran 1954), 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.[1]

Kaynakça[değiştir | kaynağı değiştir]