shiva

I am an associate professor at the School of Electrical Engineering and Computer Sciecnce -- University of Ottawa. In addition, I am a (part-time) senior research scientist at the SnT Center -- University of Luxembourg.

I am part of the the Nanda Laboratory at EECS, uOttawa. I also work with the Software Verification and Validation Laboratory at SnT, UL.

My research interests are in software engineering, focusing on software verification and analysis of cyber physical systems and autonomous, connected and smart systems. In my research, I often draw on techniques from various disciplines, such as formal software and logical modeling, meta-heuristics optimization, machine learning, system and control engineering, and empirical methods.

In the past years, I have extensively worked on testing and fault localization of cyber physical systems and have applied my research to autonomous vehicles and IoT systems. Further, I have worked on the following topics related to requirements analysis, modelling, and design time analysis of CPS: requirements traceability and analysis, automated configuration of product line systems, designtime schedulability analysis, and simulation and modeling of CPS.
I have, for the past ten years, been conducting my research in close collaboration with industry partners in telecommunication, maritime, energy, automotive and aerospace sectors.