Kevin Leahy is an Assistant Professor in Robotics Engineering at Worcester Polytechnic Institute. His current work involves AI for autonomous systems, with an emphasis on formal methods and multi-agent systems. He received his Ph.D. degree in Mechanical Engineering in 2017, his MS degree in Mechanical Engineering in 2016, and his BA in Economics in 2009, all from Boston University. From 2017 to 2023, he was a member of the Technical Staff at MIT Lincoln Laboratory. At MIT Lincoln Laboratory he focused on a variety of domains, including learning decentralized control strategies for multi-agent systems, researching collision avoidance in aviation, and planning for heterogeneous teams from high-level specifications. He currently serves as Junior Co-chair on the IEEE Technical Committee for Verification of Autonomous Systems.