Research Publications Teaching Group

Our group is called CPS-VIDA. The group name is a backronym to Cyber-Physical Systems: Verification, Intelligence, Design and Analsysis. Vida also means life in Spanish. In our group, we are living the CPS life. Finally, it is an edit distance of 1 away from the Sanskrit word Vidyā meaning knowledge.

Ph.D. students:

M.S. students:
Undergraduate visiting scholars: