ACM AWARDS

ACM, the Association for Computing Machinery, is the world’s largest educational and scientific computing society. ACM’s overarching goal is to advance computing as a science and profession. A very important part of this goal is to recognize outstanding technical and professional achievements in computing and computer science through our eminent series of awards.

The award recipients included on this page were honored at the 2008 ACM Awards Banquet on June 21, 2008, at the Palace Hotel in San Francisco, California.

Download the ACM Awards 2008 Presentation Booklet in .pdf format

Download the ACM Awards Companion Booklet featuring complete Award Citations, in .pdf format

Read a letter to members from ACM CEO John R. White

ACM Award Nomination Submission Procedures

ACM welcomes nominations for candidates whose work exemplifies the best and most influential contributions to our community, and society at large. Click here for more information on nominating candidates for future awards.

View the full ACM Award Citations Online (where available)

(additional information)

Edmund M. Clarke

E. Allen Emerson

Joseph Sifakis

(additional information)

Daphne Koller

ACM – AAAI Allen Newell Award

Leonidas J. Guibas

Software System Award

Statemate

David Harel

Hagi Lachover

Amnon Naamad

Amir Pnueli

Michal Politi

Rivi Sherman

Mark Trakhtenbrot

Aron Trauring

Grace Murray Hopper Award

Vern Paxon

Paris Kanellakis Theory and Practice Award

Bruno Buchberger

Karl V. Karlstrom Outstanding Educator Award

Randy Pausch

Eugene L. Lawler Award

Randy Wang

Distinguished Service Award

David Patterson

ACM-W Athena Lecturer Award

Shafi Goldwasser

ACM – IEEE CS Eckert-Mauchly Award

David Patterson

Outstanding Contribution to ACM Award

Robert A. Walker

SIAM/ACM Prize in Computational Science and Engineering

Chi-Wang Shu

ACM Gordon Bell Prize

Kyle J. Caspersen

James N. Glosli

John A. Gunnels

David F. Richards

Robert E. Rudd

Frederick H. Streitz

Doctoral Dissertation Award

Sergey Yekhanin

Doctoral Dissertation Honorable Mention

Benny Applebaum

Vincent Conitzer

Yan Liu

ACM Presidential Award

Stephen R. Bourne

Patricia M. Ryan

Barbara G. Ryder

Moshe Y. Vardi

ACM International Collegiate Programming Contest

ACM Student Research Competition

Intel International Science and Engineering Fair (photos)

ACM Fellows

ACM Special Interest Group Awards

About ACM Awards

ACM recognizes excellence through its eminent series of awards for outstanding technical and professional achievements and contributions in computer science and information technology. ACM’s awards celebrate our long tradition of honoring those whose contributions have impacted our world for the better in countless ways. These prestigious and internationally recognized honors are an integral part of ACM’s mission to unite computing educators, researchers and professionals, to inspire dialogue, share resources and address the field’s challenges.

About ACM

ACM, the Association for Computing Machinery, is the world’s largest educational and scientific computing society, uniting educators, researchers and professionals to inspire dialogue, share resources and address the field’s challenges. ACM strengthens the computing profession’s collective voice through strong leadership, promotion of the highest standards, and recognition of technical excellence. ACM supports the professional growth of its members by providing opportunities for life-long learning, career development, and professional networking.