ACM Fellows
USA - 2023
citation
For contributions to the development and application of symbolic execution and compositional verification
Press ReleaseACM Distinguished Member
USA - 2016
Press ReleaseACM Names 68 Fellows for Contributions to Computing That Underpin Our Daily Lives
ACM, the Association for Computing Machinery, has named 68 Fellows for transformative contributions to computing science and technology. All the 2023 inductees are longstanding ACM Members who were selected by their peers for groundbreaking innovations that have improved how we live, work, and play.
“The announcement each year that a new class of ACM Fellows has been selected is met with great excitement,” said ACM President Yannis Ioannidis. “ACM is proud to include nearly 110,000 computing professionals in our ranks and ACM Fellows represent just 1% of our entire global membership. This year’s inductees include the inventor of the World Wide Web,the “godfathers of AI, and other colleagues whose contributions have all been important building blocks in forming the digital society that shapes our modern world.
In keeping with ACM’s global reach, the 2023 Fellows represent universities, corporations, and research centers in Canada, China, Germany, India, Israel, Norway, Singapore, the United Kingdom, and the United States. The contributions of the 2023 Fellows run the gamut of the computing field―including algorithm design, computer graphics, cybersecurity, energy-efficient computing, mobile computing, software analytics, and web search, to name a few.
Additional information about the 2023 ACM Fellows, as well as previously named ACM Fellows, is available through the ACM Fellows website.
ACM Recognizes Distinguished Members for Computing Innovations that Transform Society
2016 Members Selected for Individual Achievements that Expand Scientific Frontiers and Advance the Digital Age
ACM named 45 Distinguished Members for their individual contributions to the field of computing. Their achievements have advanced the science, engineering and education of computing, and highlight the growing role of computing in the major technological advances shaping society today.
"The contributions of our Distinguished Members lead to breakthroughs that improve our lives, advance the frontiers of scientific discovery, and boost economic development,” explains ACM President Vicki L. Hanson. “Our global roster of 2016 Distinguished Members reminds us that excellence in our field knows no borders. For all our new Distinguished Members, we celebrate their dedication to computing, their creativity, and their exemplary professional accomplishments."
The 2016 ACM Distinguished Members work at leading universities, corporations and research institutions around the world, including Austria, Brazil, Canada, China, Hong Kong, India, Italy, Korea, Japan, the Netherlands, Singapore, Spain, the United Kingdom, and the United States. These trailblazers have made contributions in a wide range of technical areas including computer science education, data privacy, security, computer networking, machine learning, distributed systems, multimedia computing, human-computer interaction, programming languages, mobile and wireless networks, database management, information retrieval, computational biology, molecular computing, and software engineering, among others.