Kevin J. Leahy


I am an Assitant Professor in the Robotics Engineering Department at Worcester Polytechnic Institute and Director of the Automata Lab. Before that, I was a member of the Technical Staff at MIT Lincoln Laboratory from 2017 to 2023. My research focuses on robotics and autonomous systems, specifically the intersection of formal methods, planning, controls, and machine learning. I earned a PhD in Mechanical Engineering at Boston University in January 2017. Learn more about my research or look at my publications. CV available upon request