Peter Müller zum ACM Fellow ernannt
Professor Peter Müller (D-INFK) wurde in Anerkennung seiner Beitr?ge zur automatisierten, modularen Programmverifikation zum ACM Fellow ernannt. Herzlichen Glückwunsch!
Die Association for Computing Machinery (ACM) hat 71 neue Fellows für wegweisende Beitr?ge zur Informatik und Informationstechnologie ernannt. Die 2026 aufgenommenen Fellows sind langj?hrige ACM-Mitglieder, die von ihren Fachkolleginnen und -kollegen für Innovationen ausgew?hlt wurden, die nachhaltigen Einfluss darauf haben, wie wir leben, arbeiten und mit Technologie interagieren. Der diesj?hrige Jahrgang umfasst sowohl etablierte Fachgebiete wie Rechnerarchitektur und Software Engineering als auch aufstrebende Bereiche wie Schwarmintelligenz und Szenenerkennung. Die Geehrten stammen aus 14 L?ndern und wurden aus der weltweiten ACM-Mitgliedschaft von über 100’000 Informatikfachpersonen ausgew?hlt.
Zu den neu ernannten Fellows z?hlt auch Professor Peter Müller, Leiter der Programming Methodology Group an der ETH Zürich. Die Auszeichnung würdigt seine langj?hrigen Forschungsbeitr?ge zur automatisierten, modularen Programmverifikation.
Professor Müllers Forschung und Lehre konzentrieren sich auf Sprachen, Methoden und Werkzeuge zur Entwicklung zuverl?ssiger, sicherer und korrekter Softwaresysteme. Ein besonderer Schwerpunkt liegt auf der Spezifikation und Verifikation imperativer Programme, sowohl sequenzieller als auch nebenl?ufiger Systeme. Ziel seiner Arbeit ist es, Entwicklerinnen und Entwickler durch Fortschritte in Programmiersprachen, Methoden und Verifikationswerkzeugen beim Schreiben korrekter Software zu unterstützen. Aktuelle Forschungsinteressen umfassen unter anderem Sicherheitsverifikation sowie skalierbare Techniken für verteilte Systeme.
Der Status als ACM Fellow ist die h?chste Mitgliedschaftsstufe der Organisation und zeichnet das oberste Prozent der ACM-Mitglieder für herausragende technische Leistungen sowie ihren Beitrag zur Informatikgemeinschaft aus. Fellows fungieren als Botschafterinnen und Botschafter der ACM und werden regelm?ssig eingeladen, ihre Expertise gegenüber Politik, Industrie und ?ffentlichkeit einzubringen. Die ACM Fellows 2026 werden am 13. Juni in San Francisco offiziell geehrt.
Peter Müller ist seit August 2008 ordentlicher Professor für Informatik an der ETH Zürich und leitet die Programming Methodology Group. Von 2017 bis 2020 war er Vorsteher des Instituts für Programmiersprachen und Systeme.
Vor seinem Wechsel an die ETH Zürich arbeitete er als Projektmanager bei der Deutschen Bank in Frankfurt sowie als Forscher bei Microsoft Research in Redmond. Er studierte Informatik an der Technischen Universit?t München, wo er 1996 sein Diplom erwarb, und promovierte 2001 an der FernUniversit?t in Hagen.
Professor Müller ist Mitglied der IFIP Working Group 2.3 on Programming Methodology sowie der IFIP Working Group 1.9/2.15 on Verified Software. Zudem ist er Mitglied der Herausgebergremien von Software Testing, Verification and Reliability, dem Journal of Automated Reasoning sowie den ACM Transactions on Programming Languages and Systems (TOPLAS). Zu seinen Auszeichnungen z?hlen unter anderem der ETAPS Test of Time Award (2025), der Amazon Research Award (2021), der Facebook Faculty Research Award (2017) und der Microsoft Research Outstanding Collaborator Award (2016).
Immer aktuell informiert
M?chten Sie stets die wichtigsten internen Informationen und News der ETH Zürich erhalten? Dann abonnieren Sie den Newsletter ?Intern aktuell? und besuchen Sie regelm?ssig Staffnet, das Info-??Portal für ETH-??Mitarbeitende.