معرفی
Prof. Redha Gouicem holds the Chair of Operating Systems at RWTH Aachen University. His research focuses on operating system design, virtualization, and multicore scheduling, with an emphasis on formal verification and performance optimization.
- Professorship: Operating Systems
- Location: RWTH Aachen University, Germany
Research interests include:
- Multicore scheduling algorithms
- Binary translation and virtualization
- Formal verification of OS components
- CPU frequency scaling and performance optimization
- Comparison of scheduling models in Unix/Linux
- Domain-specific languages for scheduler development
Recent work explores hypervisor-agnostic guest overlays, weak memory model translation, and provably correct multicore schedulers. His publications demonstrate technical depth in system software design and concurrency management.
Current affiliations:
- RWTH Aachen University
- Chair of Operating Systems
۰مقاله منتشرشده
