Kevin J. Leahy

I am a member of the Technical Staff at MIT Lincoln Laboratory. My research focuses on robotics and autonomous systems, specifically formal methods and multi-agent systems. 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