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.
We have open positions for Ph.D. students and B.Sc./M.Sc. thesis at our chair!
Contact me if you want to apply!