실시간 컴퓨팅

We are conducting a broad scope of research in the area of computing science/engineering. In particular, we mainly focus on the following three research areas. This research aims at providing timing guarantees for safety- or mission-critical systems, such as real-time systems and cyber-physical systems. In particular, we develop real-time scheduling algorithms and their analysis techniques for timing guarantees. Watch a presentation for undergraduates, by Prof. Jinkyu Lee in 2025 (in Korean). Recently, we are investigating how machine learning helps to provide timing guarantees. Also, we are interested in providing timing guarantees for machine learning. Watch a research talk, by Prof. Jinkyu Lee in 2022 (in Korean). Watch a research talk, by Prof. Jinkyu Lee in 2021 (in Korean). In this research area, we aim at improving battery performance by controlling them with computer science/engineering principles. The research topics include battery management systems for electric vehicles, battery scheduling for mobile devices, and scheduling for reconfigurable battery systems. (1) Real-Time Scheduling and Systems, (2) Software Defined Batteries, and (3) Mobile Computing and Systems. Recently, we are investigating ML for RT (Machine Learning for Real-Time) and RT for ML (Real-Time for Machine Learning).