Operating Systems

Our group is engaged in research on scalable distributed and parallel systems / operating systems. Our current focus is on the development of a distributed operating system in Rust, particularly the efficient utilization of new hardware such as InfiniBand and NVRAM.