Kevin J. Leahy

This is a headshot photo of Kevin Leahy.

Dr. Kevin J. Leahy is a technical staff member in the Artificial Intelligence (AI) Technology Group at MIT Lincoln Laboratory. His current work involves AI for autonomous systems, with an emphasis on formal methods and multi-agent systems. His previous work at MIT Lincoln Laboratory 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.

Leahy received his BA degree in economics and MS and PhD degrees in mechanical engineering from Boston University. For his dissertation, he studied correct-by-construction techniques for multi-agent persistent surveillance and information gathering.