Details

Rolf Drechsler Named Fellow of the Association for Computing Machinery

Rolf Drechsler, Professor of Computer Architecture at the University of Bremen, has been named a fellow of the Association for Computing Machinery (ACM), and has thus received the international association's most prestigious honor.

With the appointment as a fellow, the ACM honors members who have made a special contribution to the field of computer science in their research and only one percent of members receive this award. The ACM is particularly honoring Rolf Drechsler for contributions to foundations and applications of formal proof techniques in synthesis, test, 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 teaching staff members, researchers, and experts in computer science.

Rolf Drechsler has been a professor of computer architecture at the Faculty of Mathematics / Computer Science at the University of Bremen since 2001. Since 2011, he has also headed the Cyber-Physical Systems research department at the German Research Center for Artificial Intelligence (DFKI). From 2008 to 2013, he was Vice President for Research and Early-Career Academics, and since 2018 has been Dean of the Faculty of Mathematics / Computer Science. Rolf Drechsler's research focus lies in 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 Engineeers (IEEE) since 2015. In 2021, he was named a 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

 

Contact:

Prof. Dr. Rolf Drechsler
Faculty of Mathematics / Computer Science
University of Bremen
Email: drechslerprotect me ?!uni-bremenprotect me ?!.de
Phone: +49 421-218-63932

 

[Translate to English:]
The ACM is particularly honoring Rolf Drechsler for contributions to foundations and applications of formal proof techniques in synthesis, test, and verification.