Allen Emerson

Allen Emerson Biografi
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
Annen informasjon
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 .

Biografi

Allen Emerson studerte matematikk ved University of Texas i Austin og fikk doktorgraden i 1981 under veiledning av Edmund M. Clarke ved Harvard University .

Virker

Emerson er kjent for sitt arbeid i formell verifisering , inkludert som medoppfinner av modellkontroll og tidsmessig logikk CTL  (in) ( Computation Tree Logic ).

Utmerkelser

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 ).

Merknader og referanser

Merknader

  1. (in) En ytterligere beskrivelse av arbeidet er tilgjengelig på ACM-siden .

Referanser

  1. (en) Offisiell side av Turingprisen 2007.
  2. (in) "  Allen Emerson  " , på nettstedet til Mathematics Genealogy Project .
  3. (in) http://awards.acm.org/citation.cfm?id=1671460&srt=alpha&alpha=E&aw=147&ao=KANELLAK&yr=1998 "arkivert kopi" (versjon av 23. juli 2018 på nettarkivet ) .

Vedlegg

Eksterne linker