Application-aware System Optimization Lab
👤Professor: Park, Yongjun (박영준)
🔬Research Field: Deep learning compiler, GPU/NPU/PIM target system SW optimization (compiler, runtime), AI accelerator design and compiler support
📍Lab: D708, Engineering Hall 4

Big Data Systems & AI Lab
👤Professor: Park, Kwanghyun (박광현)
🔬Research Field: Systems for ML, Instance-optimized (learned) systems, H/W and data platform co-design
📍Lab: D706, Engineering Hall 4

Dependable Computing Lab
👤Professor: Lee, Kyoungwoo (이경우)
🔬Research Field: Soft error, reliability, fault tolerance, IoT-based medical service, machine learning-based medical service, artificial neural network accelerator
📍Lab: D809, Engineering Hall 4

Embedded Systems Languages and Compilers (ELC) Lab
👤Professor: Burgstaller, Bernd (번트 벅스텔러)
🔬Research Field: Blockchain, Multicore and GPU Parallelism, PIM, Heterogeneous Persistent Memory, High-Level Language Memory Model, Compilers and Virtual Machines
📍Lab: D815, Engineering Hall 4

Formal Computing and AI Lab
👤Professor: Kim, Jieung (김지응)
🔬Research Field: Programming Language Theory, Formal Verification, System Software Reliability, Neural Network Reliability
📍Lab: D724, Engineering Hall 4

High Performance Computing Platforms (HPCP) Lab
👤Professor: Kim, Youngsok (김영석)
🔬Research Field: Computer architecture, system software, processor performance modeling and scheduling, GPU-based parallelization, FPGA-based hardware acceleration
📍Lab: D703, Engineering Hall 4

Mobile Embedded System Lab
👤Professor: Cha, Hojung (차호정)
🔬Research Field: Operating system, mobile computing, on-device AI, cross-device web, batteryless system, machine learning-based system optimization
📍Lab: D814, Engineering Hall 4

Real-Time Computing Lab
👤Professor: Lee, Jinkyu (이진규)
🔬Research Field: Real-Time Scheduling and Systems, ML for RT & RT for ML, Software-Defined Batteries, Mobile Computing and Systems
📍Lab: D916, Engineering Hall 4

Scalable Systems Software Lab
👤Professor: Jeong, Jinkyu (정진규)
🔬Research Field: Operating systems, storage systems, cloud computing, machine virtualization, mobile systems
📍Lab: D705, Engineering Hall 4

Secure Systems Lab
👤Professor: Song, Dokyung (송도경)
🔬Research Field: System Security, Operating System Security, Binary Reverse Engineering, Program Analysis, Confidential Computing
📍Lab: D714, Engineering Hall 4