I am mainly interested in the design, formal verification and safety assurance of smart cyber-physical systems. Following are some key areas of my research:
I currently work for the autonomous driving division of the Bosch Research and Technology Center (RTC), Silicon Valley. I have previously worked for Blackberry QNX Software Systems, BorgWarner - Waterloo Technical Center, and Magna Electronics. I also worked as a Natural Sciences and Engineering Research Council (NSERC) postdoctoral fellow at McMaster University.