I am an Associate Professor at RWTH Aachen University leading the Operating Systems group. My research revolves around operating systems, scheduling, virtualisation, and binary translation systems, with a flavour of formal verification.

Before that, I worked as a senior researcher in the Department of Informatics at TU Munich, in the chair of Distributed Systems and Operating Systems, where I lead the OS and Virtualization team.

I obtained my Ph.D. in computer science in 2020 from Sorbonne Université, where I worked in the Whisper research group at LIP6 and Inria, under the supervision of Gilles Muller and Julien Sopena. My work focused on thread scheduling in general-purpose operating systems.