Hugo Lefeuvre wird Tenure-Track-Forschungsgruppenleiter am MPI-SP
Die neu gegründete Forschungsgruppe „Dependable Operating Systems“ unter der Leitung von Hugo Lefeuvre untersucht neue Wege, um Computersysteme sicherer, zuverlässiger und effizienter zu machen.
Hugo Lefeuvre wird im November 2026 als Forschungsgruppenleiter des MPI-SP. Eines der Themen, mit denen sich Lefeuvre beschäftigt, ist die Kompartimentierung: ein Verfahren, bei dem ein System gesichert wird, indem Software in voneinander getrennte „Kompartimente“ mit eingeschränktem Zugriff aufeinander aufgeteilt wird. Wenn also ein Kompartiment kompromittiert wird, bleibt der Rest des Systems geschützt. Lefeuvre trieb diese Forschung weiter voran, indem er bestehende Verfahren systematisierte, neue Schwachstellen aufzeigte und neue Abwehrmaßnahmen entwickelte. So machten Lefeuvre und seine Kolleg*innen beispielsweise in jüngsten Arbeiten auf Sicherheitslücken aufmerksam, die entstehen, wenn verschiedene Kompartimente miteinander kommunizieren, und entdeckten dabei zahlreiche Fehler in weit verbreiteter Server-Software. Gleichzeitig zeigte seine Arbeit an neuen Abwehrmechanismen, dass sowohl stärkere als auch schnellere Isolationsverfahren möglich sind. Er entwickelte ein innovatives Betriebssystem namens FlexOS, das es Entwickler*innen ermöglicht, das Betriebssystem an ihren jeweiligen Anwendungsfall anzupassen. Sie entscheiden selbstständig, welche kleinteiligen Softwareteile voneinander isoliert werden sollen, welches Isolationsmodell verwendet werden soll und inwieweit Komponenten Daten austauschen dürfen. Somit kann eine höhere Sicherheit und Leistung erzielt werden, als dies bei herkömmlichen Betriebssystemen möglich ist.
Am MPI-SP wird Lefeuvre die Forschungsgruppe „Dependable Operating Systems“ aufbauen. Gemeinsam mit seinem Team wird er neue Wege untersuchen, um Computersysteme zuverlässiger und sicherer zu machen, indem er Techniken an der Schnittstelle zwischen System- und Computersicherheit einsetzt. Wie alle anderen Forschungsgruppen am MPI-SP wird das Team nicht isoliert arbeiten. Um dieses Ziel zu erreichen, wird es mit Experten aus anderen Disziplinen zusammenarbeiten und dabei Kenntnisse aus den Bereichen formaler Methoden, Hardwarearchitektur und Mensch-Computer-Interaktion nutzen. „Ich glaube, dass einige der wichtigsten Probleme auf dem Weg zu zuverlässigeren Computersystemen an der Schnittstelle zwischen verschiedenen Aspekten der Informatik liegen. Die Freiheit, die das MPI-SP bietet, und die Vielfalt meiner Kolleg*innen machen es zu einem idealen Ort für meine Gruppe, um kreative Lösungen für diese Herausforderungen zu erarbeiten“, sagt Lefeuvre.
Hugo Lefeuvre promovierte 2024 in Informatik an der University of Manchester. Anschließend setzte er seine Forschung als Postdoc an der University of British Columbia fort. Seine Arbeit wurde mit einem Microsoft Research PhD Fellowship, dem EuroSys Roger Needham Ph.D. Award für die beste europäische Doktorarbeit im Bereich Computersysteme sowie einer lobenden Erwähnung beim SIGOPS Dennis M. Ritchie Doctoral Dissertation Award ausgezeichnet.