My research interests include design automation for intelligent cyber-physical systems (CPS) and Internet-of-Things (IoT) applications, cyber-physical security, machine learning for CPS/IoT, energy-efficient CPS, and system-on-chip design.
Recent work in my group has been focusing on system-level synthesis, optimization, verification, and modeling methodologies for intelligent cyber-physical systems. We are particularly interested in addressing timing, heterogeneity, security, adaptability, and energy challenges in CPS design and operation. We work on applications in the domains of connected and autonomous vehicles, robotics, smart buildings and infrastructures, and IoT.
