Emerson, Ernest Allen

Ernest Allen Emerson ( ing.  Ernest Allen Emerson ; născut la 2 iunie 1954 [1] , Dallas , SUA ) este un om de știință american în domeniul teoriei sistemelor informatice, câștigător al Premiului Turing. În prezent este profesor de informatică la Universitatea din Texas .

Biografie

Emerson a primit o diplomă de licență în matematică de la Universitatea Texas din Austin în 1976 și un doctorat în matematică aplicată de la Universitatea Harvard în 1981 [2] .

În 2007, împreună cu supervizorul său Edmund Clark și Joseph Sifakis, a primit Premiul Turing pentru contribuțiile sale la dezvoltarea teoriei verificării modelelor .

Premii

• 1998  - Premiul Paris Kanellakis ( ACM ) [3]
• 1999  - Premiul Allen Newell (Departamentul de Informatică de la Universitatea Carnegie Mellon ) [4]
• 2006  - Premiul Test-of-Time ( IEEE ) [5]
• 2007  - Premiul Turing cu Clark și Sifakis pentru rolul lor în dezvoltarea modelului de verificare  , o tehnică extrem de eficientă de verificare a programelor utilizată pe scară largă atât în ​​dezvoltarea software -ului, cât și în dezvoltarea hardware [6] [7]

Note

1. ↑ 12 Allen Emerson despre Britannica
2. ↑ Premiul Kanellakis .
3. ↑ ACM Award Citation/E Allen Emerson  (link nu este disponibil)
4. ↑ SCHOOL OF COMPUTER SCIENCE, Carnegie Mellon Arhivat 11 iunie 2011.
5. ↑ Universitatea din Texas din Austin - Departamentul de Științe Calculatoare  (link inaccesibil)
6. ↑ Anunțați laureații Premiului Turing anual - Știință și tehnologie - Compulenta (link inaccesibil) . Consultat la 19 februarie 2009. Arhivat din original pe 21 februarie 2009. (nedefinit) 
7. ↑ ACM Award Citation/E Allen Emerson (link indisponibil) . Consultat la 19 februarie 2009. Arhivat din original pe 27 iunie 2009. (nedefinit) 

Literatură

• Wilson Ann. ACM acordă premiul Kanellakis pentru dezvoltarea „Verificării modelelor simbolice”, utilizată în testarea designurilor sistemelor informatice . Asociația pentru Mașini de Calcul (26 martie 1999). Arhivat din original pe 5 iunie 2011. (nedefinit)

Link -uri

• Pagina profesorului Emerson de pe site-ul Universității din Texas  

Site-uri tematice	Genealogie matematică Scopus zbMATH Deschide
Dicționare și enciclopedii	Britannica (online)
În cataloagele bibliografice GND : 1028534892 ISNI : 0000 0000 4372 5889 J9U : 987007439310505171 LCCN : nb99152470 NKC : xx0042097 NTA : 198036892 VIAF : 40252505 WorldCat VIAF : 40252505