Research interests
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:
- SafetyOps
- certification of autonomous systems (ISO 26262, ISO/PAS 21448, IEC 61508, …)
- failure and safety analysis of robotics and machine learning algorithms for self-driving vehicles
- formal methods assisted testing and runtime verification
- combined safety and security specification, reasoning and verification
Services/Memberships
- Member: IEC - SEG 11: Future Sustainable Transportation
- Member: IEC - SEG 10: Ethics in Autonomous and Artificial Intelligence Applications
- TC Member: IEEE Technical Committee on Cyber-Physical Systems (CPS)
- Member of CAC/ISO/TC 22 - Road Vehicles, Standards Council of Canada (SCC)
Background
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.