Active Research Areas

  • Internet-of-Things (IoT) and Cyber-Physical Systems
  • Real-Time Scheduling and Resource Management
  • Distributed Sensing, Learning, and Inference
  • Testing and Static Analysis of Embedded Systems and Software
  • Control Software Verification and Optimization
  • Stochastic Real-Time Systems
  • Dependability Analysis and Synthesis

Past Research Areas

  • Power/Temperature-Aware Computing
  • Data Center Energy Optimization with a Cyber-Physical Approach
  • Reliability and Security in Real-Time Systems
  • Real-Time Operating Systems