Experience
Education
Bio
My research interests lie in the intersection between robotics and software testing and verification. Specifically, I am looking at combining the kinematic models of autonomous systems into testing procedures to verify the autonomous system is behaving as designed. Currently, I am focused on self-driving cars and autonomous quadrotors.