Rolf Drechsler
ACM Fellows
Germany - 2023
citation
For contributions to foundations and applications of formal proof techniques in synthesis, test and verification.
Press ReleaseACM Senior Member
Germany - 2021
ACM Distinguished Member
Germany - 2021
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 2021 Distinguished Members for Pivotal Educational, Engineering and Scientific Contributions
ACM has named 63 Distinguished Members for outstanding contributions to the field. All 2021 inductees are longstanding ACM members and were selected by their peers for a range of accomplishments that advance computing as a science and a profession.
"Each year we are excited to recognize a new class of ACM Distinguished Members for their professional achievements, as well as their longstanding membership with ACM,” explains ACM President Gabriele Kotsis. “The Distinguished Members program is a way both to celebrate the trailblazing work of our members, and to underscore how participation with a professional society enhances one’s career growth. This award category also emphasizes how ACM’s worldwide membership is the foundation of our organization."
The 2021 ACM Distinguished Members work at leading universities, corporations and research institutions in Australia, Bangladesh, Canada, Chile, China, Germany, India, New Zealand, Norway, Qatar, Saudi Arabia, Singapore, Spain, the United Kingdom and the United States. ACM Distinguished Members are selected for their contributions in three separate categories: educational, engineering and scientific. The new class of Distinguished Members made advancements in areas including bioinformatics, computer architecture, computer graphics, data science, human-computer interaction, networking and distributed systems, semantic web research, security, and software engineering, among many other areas.
The ACM Distinguished Member program recognizes up to 10 percent of ACM worldwide membership based on professional experience and significant achievements in the computing field. To be nominated, a candidate must have at least 15 years of professional experience in the computing field, five years of professional ACM membership in the last 10 years, and have achieved a significant level of accomplishment, or made a significant impact in the field of computing, computer science or information technology. A Distinguished Member is expected to have served as a mentor and role model by guiding technical career development and contributing to the field beyond the norm.