The ACM honors members who have made a special contribution to computer science in their research by appointing them as Fellows. Only one percent of members receive this award. In particular, the ACM recognized Rolf Drechsler's contributions to the foundations and applications of formal proof techniques in synthesis, testing and verification. The ACM is the world's largest professional society for computer science. Founded in 1947, it now has 110,000 members in 190 countries. Its members include teachers, researchers and specialists in computer science.
Rolf Drechsler has been Professor of Computer Architecture at the Faculty of Mathematics and Computer Science at the University of Bremen since 2001. He has also headed the Cyber-Physical Systems research department at DFKI since 2011. From 2008 to 2013, he was Vice-Rector for Research and Young Academics, and since 2018 he has been Dean of the Faculty of Mathematics and Computer Science. Rolf Drechsler's research focuses on the development and quality-oriented design of algorithms and problem-specific data structures in computer-aided circuit and system design. He has been a Fellow of the Institute of Electrical and Electronics Engineers (IEEE) since 2015. In 2021, he was already appointed Distinguished Member of the Association for Computing Machinery (ACM).
Further information:
https://www.acm.org/
https://www.acm.org/media-center/2024/january/fellows-2023
(Text: University of Bremen, University Communication and Marketing)