E. Allen Emerson
Amerikalı bilgisayar bilimcisi / From Wikipedia, the free encyclopedia
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]
Pratik Bilgiler Ernest Allen Emerson II, Doğum ...
Ernest Allen Emerson II | |
---|---|
Doğum | 2 Haziran 1954 (69 yaşında) Dallas, Teksas, ABD |
Eğitim | Austin Teksas Üniversitesi Harvard Üniversitesi |
Ödüller | Turing Ödülü (2007) |
Kariyeri | |
Dalı | Bilgisayar bilimi |
Kapat