Abhik Roychoudhury - Professor (Lead PI)
Liang Zhenkai - Associate Professor (Co-PI)
Prateek Saxena - Assistant Professor (Co-PI)
Dong Jin Song - Professor (Co-PI)
  • Design analysis and verification
  • Context awareness and pervasive computing
  • Real-time concurrent system specification
  • Web semantics, services, agent and reasoning
  • Formal methods and safety critical systems
  • Object, component, and language semantics
Chang Ee-chien - Associate Professor (Co-PI)
Roland Yap - Associate Professor (Co-PI)
Komondoor V. Raghavan - Associate Professor
Subhajit Roy - Assistant Professor
Dawn Song - Professor