I am a Senior Principal Scientist at Toyota Research Institute of North America (TRINA) in Ann Arbor, Michigan. My research interests include Formal Methods, Testing and Verification of Cyber-Physical Systems (CPS), Logic, Motion Planning for Autonomous Mobility, and Human-Robot Interaction. Please reach out to me if you are a self-motivated student interested in working in any of these areas. Strong candidates that demonstrate the ability to define and persue research problems get invited to join us for research internships during the summer.
I completed my PhD degree in Computer Science in the area of testing and verification of Cyber-Physical Systems at Arizona State University, advised by Georgios Fainekos. My research was focused on simulation-based methods for testing CPS using formal requirements. Specifically, the problems of falsification and parameter mining of temporal logic requirements.