Research home | bio | talks | panels | service | publications Intelligent Cyber-Physical Systems My research interests lie in the broad domain of cyber-physical systems that are seeing increasing level of artificial intelligence embedded in them. Formal Analysis Architecture Modeling and Analysis Software Tool Development