Our research focuses on the design and implementation of systems software for modern and emerging computing platforms. We investigate how operating systems, runtime systems, and computing architectures can work together to address the challenges of increasingly complex applications and heterogeneous hardware.

Our research is organized around two main directions:

Dependable and Predictable Systems Software

We investigate operating systems and runtime mechanisms for real-time, embedded, and safety-critical applications. Our research addresses scheduling, resource management, timing analysis, and fault tolerance, with the goal of ensuring correct and timely execution under diverse operating conditions.

Systems Software for Memory-Centric Computing

We explore how systems software can exploit emerging memory technologies and heterogeneous computing architectures. Our research focuses on operating system, compiler, and runtime support for memory management, data placement, and resource optimization, including processing-in-memory and heterogeneous memory systems.

Across both directions, we pursue cross-layer approaches that bridge software and hardware to address fundamental challenges in system design.

Please refer to our publications and research projects for further details.

Our teaching focuses on the fundamental principles and practical aspects of modern computer systems. We aim to equip students with the knowledge and skills to understand, design, implement, and critically analyze complex systems software.

We combine theoretical foundations with hands-on experience in programming, implementing, and evaluating operating systems and low-level software.

We offer courses and opportunities for Bachelor's and Master's theses in our research areas.

Courses in Winter Semester 2026/27:

Master:

Seminar: