NewIn: Reto Achermann

Wenn Computer einfach funktionieren

Ob Mobiltelefone, Cloud-Dienste oder autonome Roboter: Moderne Gesellschaften sind darauf angewiesen, dass Computersysteme zuverlässig funktionieren. Genau daran arbeitet Reto Achermann. Der neue Professor für Widerstandsfähige Rechensysteme an der TUM School of Computation, Information and Technology war zuvor an der University of British Columbia in Vancouver und an der ETH Zürich tätig.

Um Computersysteme korrekter, effizienter und zuverlässiger zu machen, untersucht Achermann das Zusammenspiel von Hardware und Software. Seine Arbeit bewegt sich an der Schnittstelle von Betriebssystemen, Rechnerarchitekturen und formalen Methoden, mit denen sich mathematisch nachweisen lässt, dass Software die gewünschten Eigenschaften tatsächlich erfüllt.

„Wir alle sind frustriert, wenn Computersysteme nicht richtig funktionieren. Das Ziel meiner Forschung ist es, genau das zu verhindern“, sagt Achermann. Der Erfolg seiner Arbeit bleibt dabei häufig unsichtbar: „Im Idealfall merken die Nutzerinnen und Nutzer gar nicht, dass meine Arbeit im Hintergrund erfolgreich war.“

Zuverlässigkeit trotz steigender Komplexität

Was das konkret bedeutet, zeigt sich in vielen Alltagssituationen. Beim Kauf eines digitalen Bahntickets erwarten Nutzerinnen und Nutzer beispielsweise, dass sie das richtige Ticket erhalten, der korrekte Betrag abgebucht wird, ihre persönlichen Daten geschützt bleiben und die Transaktion abgeschlossen ist, bevor der Zug abfährt. Für Achermann sind solche Anforderungen Ausdruck von Resilienz: Computersysteme sollen ihre Aufgaben auch dann zuverlässig erfüllen, wenn sie komplexen Anforderungen oder hoher Belastung ausgesetzt sind.

Ein weiterer Schwerpunkt seiner Forschung liegt auf Methoden, mit denen sich Fehler in Systemsoftware von vornherein vermeiden lassen. Anstatt Probleme erst im Nachhinein zu entdecken, können mathematische Verfahren die Korrektheit wichtiger Softwarekomponenten bereits während der Entwicklung sicherstellen. Das Ziel besteht darin, Entwicklerinnen und Entwicklern Werkzeuge zur Verfügung zu stellen, mit denen sich zuverlässige Systeme effizienter erstellen lassen.

An der TUM will Reto Achermann seine Forschung weiter ausbauen und neue Ansätze für die nächste Generation von Computersystemen entwickeln. Denn auch in Zukunft sollen digitale Systeme effizient und zuverlässig arbeiten – auch wenn ihre Komplexität immer weiter zunimmt.