E. Allen Emerson
Ernest Allen Emerson II | |
|---|---|
.jpg) | |
| Doğum | 2 Haziran 1954 Dallas, Teksas, ABD |
| Ölüm | 15 Ekim 2024 (70 yaşında) |
| Eğitim | Austin Teksas Üniversitesi Harvard Üniversitesi |
| Ödüller | Turing Ödülü (2007) |
| Kariyeri | |
| Dalı | Bilgisayar bilimi |
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.[1]
15 Ekim 2024'te 70 yaşında öldü.[2]
Kaynakça
[değiştir | kaynağı değiştir]- ^ "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.
- ^ "WE BID FAREWELL TO E. ALLEN EMERSON". Heidelberg Laureate Forum Foundation. 4 Kasım 2024 tarihinde kaynağından arşivlendi. Erişim tarihi: 19 Ekim 2024.
 | Amerikalı bilim insanı ile ilgili bu madde taslak seviyesindedir. Madde içeriğini genişleterek Vikipedi'ye katkı sağlayabilirsiniz. |
Kategoriler:
- Amerikalı bilim insanı taslakları
- 1954 doğumlular
- Dallas doğumlular
- Teksas doğumlu bilim insanları
- Amerikalı akademisyenler
- Amerikalı bilgisayar bilimcileri
- Austin Teksas Üniversitesinde öğrenim görenler
- Harvard School of Engineering and Applied Sciences'ta öğrenim görenler
- Teksas Üniversitesi, Austin öğretim üyeleri
- Turing Ödülü sahipleri
- Biçimsel yöntemler kişileri
- 2024'te ölenler