The Research Group


The Operating Systems Teaching and Research Unit lead by Professor Redha Gouicem is part of the Department of Computer Science at RWTH Aachen University, in the Faculty of Mathematics, Computer Science and Natural Sciences.

The group focuses its research around topics related to how computer systems are managed, and allow applications to run smoothly with no knowledge of the underlying hardware while benefiting from safety and security features, as well as performance. More specifically, our work revolves around core operating systems topics (scheduling, memory management, unikernels), virtualization topics (device emulation, migration, resource management) and binary translation, with a flavor of formal verification.