News Detailansicht

Rolf Drechsler, Professor für Rechnerarchitektur an der Universit?t Bremen, ist von der Association for Computing Machinery (ACM) zum Fellow ernannt worden. Damit erh?lt er die h?chste Auszeichnung der internationalen Fachgesellschaft.

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.