Allen Emerson

Ernest Allen Emerson (* 2. Juni 1954 in Dallas) ist ein amerikanischer Informatiker und Turing-Preisträger. Zusammen mit Edmund M. Clarke hat er Pionierarbeit auf dem Gebiet der Modellprüfung geleistet.[1] Emerson ist Informatik-Professor an der University of Texas at Austin.

Dort machte er 1976 auch seinen Bachelor in Mathematik, und daraufhin 1981 an der Harvard University seinen Ph.D. in angewandter Mathematik.[2]

In Harvard schlug er 1981 zusammen mit seinem Doktorvater Clarke in einem Paper die Modellprüfung zur Verifikation endlicher paralleler Programme vor, inzwischen ein anerkanntes und weit verwendetes Verfahren. Seither trug er zu deren Verbesserung und Vereinfachung bei und arbeitete auch auf den Gebieten der automatischen Programmsynthese, Verifizierung parametrisierter Systeme und Datenstruktur-Beweisen. Er machte auch signifikante Beiträge zur Theorie und Anwendung der temporalen Logik.

2007 erhielt Emerson zusammen mit Clarke und dem unabhängig von den beiden ebenfalls an der Modellprüfung arbeitenden Joseph Sifakis den Turing Award. Daneben hat Emerson zahlreiche weitere Auszeichnungen erhalten, darunter der Best Software Paper Award der Hawaii International Systems Sciences Conference 1985, der ACM Paris-Kanellakis-Preis 1998, der Carnegie Mellon University Allen Newell Award for Research Excellence 1999 und der IEEE Symposium on Logic in Computer Science Test-of-Time Award 2006.[3]

Er ist im redaktionellen Beirat führender Zeitschriften aus dem Bereich der formalen Methoden, darunter Transactions on Computational Logic, Formal Aspects of Computing, und Formal Methods in Systems Design, und den Konferenzprogrammkommitees des International Symposium on Automated Technology for Verification and Analysis und der International Conference on Verification, Model Checking, and Abstract Interpretation. Er befindet sich unter den meistzitierten Informatikern auf CiteSeer.[3][4]

Weblinks

Einzelnachweise

  1. ACM Turing Award Honors Founders of Automatic Verification Technology That Enables Faster, More Reliable Designs, University of Texas at Austin, 4. Februar 2008
  2. Kanellakis Award, Association for Computing Machinery, 26. März 1999
  3. a b E. Allen Emersons Homepage an der University of Texas at Austin
  4. Most cited authors in Computer Science – August 2006 (CiteSeer.Continuity)

Wikimedia Foundation.

Schlagen Sie auch in anderen Wörterbüchern nach:

  • E. Allen Emerson — Ernest Allen Emerson (* in Dallas) ist ein amerikanischer Informatiker und Turing Preisträger. Zusammen mit Edmund M. Clarke hat er Pionierarbeit auf dem Gebiet der Modellprüfung geleistet.[1] Emerson ist Informatik Professor an der University of …   Deutsch Wikipedia

  • Ernest Allen Emerson — (* in Dallas) ist ein amerikanischer Informatiker und Turing Preisträger. Zusammen mit Edmund M. Clarke hat er Pionierarbeit auf dem Gebiet der Modellprüfung geleistet.[1] Emerson ist Informatik Professor an der University of Texas at Austin.… …   Deutsch Wikipedia

  • E. Allen Emerson — Saltar a navegación, búsqueda Ernest Allen Emerson es un informático teórico más conocido haber desarrollado el método conocido como model checking, para verificar diseños de software o hardware. Emerson trabaja como profesor en la Universidad de …   Wikipedia Español

  • E. Allen Emerson — Ernest Allen Emerson is a computer scientist and endowed professor at the University of Texas, Austin.He won the 2007 A.M. Turing Award along with Edmund M. Clarke and Joseph Sifakis for their pioneering work on Model checking.cite… …   Wikipedia

  • Emerson (surname) — Emerson as a surname may refer to:In Literature *Ralph Waldo Emerson (1803–1882), American writer philosopher, and transcendentalist *Claudia Emerson (born 1957), American professor and Pulitzer Prize winning poet *Earl Emerson (born 1948),… …   Wikipedia

  • Emerson — ist der Name von Personen: Allen Emerson, US amerikanischer Informatiker Bill Emerson (1938–1996), US amerikanischer Politiker Billy „The Kid“ Emerson (* 1925), US amerikanischer Bluesmusiker David Emerson (* 1945), kanadischer Politiker Douglas… …   Deutsch Wikipedia

  • Emerson — Saltar a navegación, búsqueda Emerson puede referirse a: Nombre Edward Emerson Barnard, astrónomo; Emerson Acuña, futbolista de …   Wikipedia Español

  • Allen Newell — Pour les articles homonymes, voir Newell. Allen Newell, né le 19 mars 1927, mort le 19 juillet 1992 (à 65 ans), était un chercheur en informatique et psychologie cognitive à la compagnie RAND Corporation et à la Carnegie… …   Wikipédia en Français

  • Emerson College — The Shield of Emerson College Motto Bringing Innovation to Communication and the Arts Established 1880 Type …   Wikipedia

  • Emerson Electric Company — Emerson Electric Type Public (NYSE: EMR) S P 500 Component …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”