이진규 연구실

Timing guarantees for safety- and mission-critical systems such as real-time systems and cyber-physical systems. Develops real-time scheduling algorithms and analysis techniques for timing guarantees.

Machine learning for real-time systems, and timing guarantee for machine learning. Investigates how machine learning helps to provide timing guarantees and provides timing guarantees for machine learning.

Improvement of battery performance through computer science/engineering principles. Aims at improving battery performance by controlling them with computer science/engineering principles.

Facilitating new functions for mobile devices without additional hardware and improving performance of mobile systems. Develops new functions for mobile devices using acoustic signature and IoT.