E. Allen Emerson

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 web|url=http://www.cs.utexas.edu/oea/services/media_relations/utcs_spotlights/2008/acm_turing_award/|publisher=University of Texas|title=ACM Turing Award Honors Founders of Automatic Verification Technology That Enables Faster, More Reliable Designs|date=2008-02-04] He is also the recipient of the 1998 ACM Paris Kanellakis Award Theory and Practice Award for Symbolic Model Checking. [cite web|title= ACM Fellows Award / E Allen Emerson|url=http://awards.acm.org/citation.cfm?id=1671460&srt=all&aw=147&ao=KANELLAK]

He received his bachelor's degree in mathematics from the University of Texas, Austin in 1976cite web|url=http://www.acm.org/announcements/kanellakis99.html|title=Kanellakis Award|publisher=Association for Computing Machinery|date=1999-03-26] and his PhD in applied mathematics at Harvard University in 1981.

References

External links

* [http://www.cs.utexas.edu/~emerson/ E. Allen Emerson's homepage at the University of Texas at Austin]
*MathGenealogy|id=69873
* [http://www.acm.org/press-room/news-releases/turing-award-07/ Turing Award announcement]
* [http://awards.acm.org/citation.cfm?id=1671460&srt=all&aw=147&ao=KANELLAK Kanellakis Award]


Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • 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… …   Deutsch Wikipedia

  • 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

  • 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 (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 — 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”