Fødsel |
2. juni 1954 Dallas |
---|---|
Nasjonalitet | amerikansk |
Opplæring |
Harvard University University of Texas i Austin , Harvard School of Engineering and Applied Sciences ( in ) |
Aktiviteter | Informatiker , ingeniør , universitetsprofessor |
Jobbet for | University of Texas i Austin |
---|---|
Herre | Edmund M. Clarke |
Veileder | Edmund M. Clarke |
Nettsted | www.cs.utexas.edu/~emerson |
Utmerkelser |
Paris-Kanellakis-prisen (1998) Turing-pris (2007) |
Allen (Ernest) Emerson , født den2. juni 1954i Dallas i Texas , er forsker innen informatikk , professor ved University of Texas i Austin i USA .
Allen Emerson studerte matematikk ved University of Texas i Austin og fikk doktorgraden i 1981 under veiledning av Edmund M. Clarke ved Harvard University .
Emerson er kjent for sitt arbeid i formell verifisering , inkludert som medoppfinner av modellkontroll og tidsmessig logikk CTL (in) ( Computation Tree Logic ).
Han mottok Turing-prisen i 2007 , sammen med Edmund M. Clarke og Joseph Sifakis for sitt arbeid med modellkontroll .
Emerson hadde tidligere mottatt Paris Kanellakis-prisen ( 1998 ).