Contact: Tina Angelone 212-626-0532 angelone@acm.org IMMEDIATE COMPUTING'S HIGHEST HONOR GOES TO AMIR PNUELI The Association For Computing honors Pnueli New York, December 2, 1996…The Association for Computing (ACM) has announced that Amir Pnueli is the recipient of the 1996 ACM A.M. Turing Award. The award, considered the Nobel Prize of computing, will be presented to Pnueli during the ACM awards banquet Mar.2, 1997 which will be held in conjunction with "ACM97:The Next 50 Years of Computing," a world-wide interactive event on the long-term impact of information technology. Pnueli is honored "for seminal work introducing temporal logic into computing science and for outstanding contributions to program and system verification." He made a major breakthrough in the verification and certification of concurrent and reactive systems with his landmark 1977 paper "The Temporal Logic of Programs." His work has been characterized as the most important contribution to program verification in the last twenty years and has set the agenda for research and practice in this area. Pnueli, professor of computer science at the Weizmann Institute of Science, is aware of the problems of putting computer science methods into practice. By introducing temporal logic to computer science, Pnueli, has made a significant and lasting contribution in shaping the study of concurrent systems. His advancements in this area will continue to influence a large number of diverse industrial applications. The A.M. Turing Award is given annually for technical achievements in the field of computing which are deemed by a jury of leading professionals to be of lasting and significant importance to the computing community. The award is accompanied by a prize of $25,000. Financial support for the ACM A.M.Turing Award is provided by Lucent Technologies Inc. ACM is a major force in advancing the skills of information technology professionals and students. ACM serves its global membership by delivering cutting-edge information and -more- transferring ideas from theory to practice. ACM with its world-class journals and magazines, dynamic special interest groups, numerous conferences, workshops and forums is a primary resource to the IT field. For additional information on ACM, visit our web site at http://www.acm.org ###