ARCHIVE

ACM Honors Pioneers of Verification Tools for Safe, Secure Software

Written by: Writer
The Association for Computing Machinery (ACM) has recognized the Boyer-Moore Theorem Prover, used...

ACM honors Yahoo! for data mining, knowledge discovery

Written by: Writer
Yahoo! today announced that Dr. Raghu Ramakrishnan, Yahoo! vice president, research fellow and...

ACM Leader to Direct NSF Funding for Computing Research

Written by: Writer
Jeannette Wing, a Member-at-Large of the ACM Council, has been chosen as assistant director for...

ACM names 20 fellows as information technology achievers

Written by: Writer
ACM has recognized 20 of its members for their contributions in computer science and information...

ACM names 2014 Distinguished Members

Written by: Tyler O'Neal, Staff Editor

2014 Members Recognized for Contributions to Hardware, Software and Communications

 

ACM (the

...