In 1996, Pnueli received the AM Turing Award from the Association for Computing Machinery, an honor often called computer science's equivalent of the Nobel ...
She opened with a joke of her own: In large part, her Turing Award honored work she had done in the 1970s, laying down principles for the organization of ...
A. M. Turing Award - 2008 ACM's most prestigious technical award is accompanied by a prize of $250000. It is given to an individual selected for ... www.acm.org
Mar 10, 2009 ... MIT's Liskov Pioneered the Standard for Modern Programming Language and Software Reliability. www.acm.org
The A. M. Turing Award is given annually by the Association for Computing Machinery to "an individual selected for contributions of a technical nature made ... en.wikipedia.org
Mar 10, 2009 ... Barbara Liskov, a veteran Massachusetts Institute of Technology professor who created building blocks for software programming languages ... www.boston.com