E. Allen Emerson

Amerikalı bilgisayar bilimcisi

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]

Ernest Allen Emerson II
Doğum 2 Haziran 1954 (1954-06-02) (66 yaşında)
Dallas, Teksas, ABD
Eğitim Austin Teksas Üniversitesi
Harvard Üniversitesi
Ödüller Turing Ödülü (2007)
Bilimsel kariyeri
Dalı Bilgisayar bilimi

KaynakçaDüzenle

  1. ^ "ACM Turing Award Honors Founders of Automatic Verification Technology That Enables Faster, More Reliable Designs". 4 Şubat 2008. 7 Haziran 2017 tarihinde kaynağından arşivlendi. Erişim tarihi: 6 Aralık 2017.