Real-time support for intelligent systems

Research in our lab includes real-time, embedded, and cyber-physical systems. Specifically, we aim to achieve the design and implementation of safe, predictable, and efficient computing systems under uncertain environments, which is a critical research area for the widespread intelligent autonomous technologies including self-driving cars, IoT-based smart homes, and structural health monitoring. We are currently working on developing novel system software, algorithms, modeling and analysis techniques to build reliable, efficient, and usable systems in practice for the modern parallel computing platforms.