Research Area Systems

Our research area includes the groups "Embedded Systems (EmbSys)", "Parallel and Distributed Systems (PVS)", and "Computer Networks and Network Security (NetSec)". We focus on enhancing the safety, security, and efficiency of modern computer systems. Our research spans a wide spectrum, including quality assurance for embedded systems, Internet security, and various aspects of distributed and high-performance environments. We develop innovative formal methods, empirical approaches, and fundamental techniques for program design, applying them across our research fields.

In teaching, we cover the full scope of systems topics, from computer architecture and operating systems to networks and security. We also offer advanced courses and seminars in our research area.