His research focuses on bringing both scalability, dependability, and security to embedded/IoT systems, and predictable latency guarantees to large-scale systems. Toward this, his group has researched and developed the Composite component-based OS for more than ten years. This research had produced many publications, multiple best-paper awards, and the NSF CAREER award.