以下信息来自: http://awards.acm.org/current_recipients.cfm?yr=2008 Award Recipients for 2008 As part of ACM's ongoing effort to recognize technical excellence and outstanding service to the computing field, the ACM Award Subcommittees have deliberated and mad ...
信息来源: http://awards.acm.org/2008/acm-infosys-award.cfm Jon Kleinberg Named Recipient of the 2008 ACM-Infosys Foundation Award in the Computing Sciences Network Pioneer Recognized for Revolutionary Advances in Web Search Techniques Award Citation For his contributions to the sci ...
以下信息来自ACM Citation For contributions to practical and theoretical foundations of programming language and system design, especially related to data abstraction, fault tolerance, and distributed computing. Full Citation Barbara Liskov has led important developments in computing by ...
信息来源于: The Computer Laboratory is the University of Cambridge's Computer Science department. Larry Paulson is made a Fellow of the ACM (2008) Larry Paulson has been made a Fellow of the ACM for his contributions to theorem provers and verification techniques. Th ...
Many Innovations Made in Areas Critical to Global Competitiveness New York, NY, January 15, 2009 -- ACM has recognized 44 of its members for their contributions to computing technology that have generated a broad range of innovations for industry, commerce, entertainment, and education.&nb ...
中国骄傲真正的计算科学大师 信息来源:ACM PRINCETON UNIVERSITY'S ANDREW CHI CHIH YAO WINS THE ASSOCIATION FOR COMPUTING MACHINERY'S 2000 A. M. TURING AWARD New York, Feb. 1, 2001 -- The Association for Computing Machinery today announced the selection of Andrew Chi-Chih ...
伟大贡献 :For his role in developing Model-Checking into a highly effective verification technology , widely adopted in the hardware and software industries. 具体情况: In 1981, Edmund M. Clarke and E. Allen Emerson, working in the USA, and Joseph Sifakis working independently in France, aut ...