Research Focus


Design, Optimization and Verification Technologies


This research focuses on the design of system and component models, development of optimization techniques for design-space exploration and the development of model-abstraction and automatic verification techniques.

We are applying these techniques to several domains in cyber-physical systems such as district energy systems, medical systems (artificial pancreas), smart grids and Internet-of-Things.

Principal Investigator
Asst. Prof. Arvind Easwaran


School of Computer Science and Engineering

Back to listing​​​​​​​​​​​​​​​​​​