Mit der Ernennung zum Fellow ehrt die ACM Mitglieder, die sich in ihrer Forschung besonders um die Informatik verdient gemacht haben. Lediglich ein Prozent der Mitglieder erh?lt diese Auszeichnung. Die ACM würdigte insbesondere Rolf Drechslers Beitr?ge zu Grundlagen und Anwendungen formaler Beweistechniken in Synthese, Test und Verifikation. Die ACM ist die weltweit gr??te Fachgesellschaft für Informatik. 1947 gegründet, hat sie heute 110.000 Mitglieder in 190 L?ndern. Zu ihren Mitgliedern geh?ren Lehrende, Forschende und Fachpersonen aus der Informatik.
Rolf Drechsler ist seit 2001 Professor für Rechnerarchitektur am Fachbereich Mathematik und Informatik der Universit?t Bremen. Seit 2011 leitet er au?erdem den Forschungsbereich Cyber-Physical Systems am Deutschen Forschungszentrum für Künstliche Intelligenz (DFKI). Von 2008 bis 2013 war er Konrektor für Forschung und wissenschaftlichen Nachwuchs, und seit 2018 ist er als Dekan am Fachbereich Mathematik und Informatik t?tig. Rolf Drechslers Forschungsschwerpunkte liegen in der Entwicklung und dem qualit?tsorientierten Design von Algorithmen und problemspezifischen Datenstrukturen im computergestützten Schaltkreis- und Systementwurf. Seit 2015 ist er Fellow des Institute of Electrical and Electronics Engineeers (IEEE). 2021 wurde er bereits zum Distinguished Member der Association for Computing Machinery (ACM) ernannt.
澳门皇冠_皇冠足球比分-劲爆体育:
https://www.acm.org/media-center/2024/january/fellows-2023
Fragen beantwortet:
Prof. Dr. Rolf Drechsler
Fachbereich Mathematik und Informatik
Universit?t Bremen
E-Mail: drechslerprotect me ?!uni-bremenprotect me ?!.de
Telefon: +49 421-218-63932
