Amy Fang (amy.fang@ll.mit.edu) is a member of Technical Staff in the Control & Autonomous Systems Engineering Group at MIT Lincoln Laboratory. Her background is in formal methods for robotic systems, specifically focused on constructing verifiably correct robot controllers for multi-agent tasking and high-level planning. She received her Ph.D. in 2024 as a National Defense Engineering Graduate (NDSEG) Fellow from the Sibley School of Mechanical and Aerospace Engineering at Cornell University, and her B.S. in Mechanical Engineering from MIT.
Erfaun Noorani (erfaun.noorani@ll.mit.edu) is a Technical Staff member in the Control & Autonomous Systems Engineering Group at MIT Lincoln Laboratory. His research is focused on developing robust-resilient-adaptive data-driven control systems that are generic, provide performance guarantees, and can generalize-reason-improve in complex and unknown task environments. Prior to joining MIT Lincoln Laboratory, he was a Postdoctoral Associate at the Institute for Systems Research (ISR) at the University of Maryland, College Park, where he earned his Ph.D. as a Clark Doctoral Fellow in the Department of Electrical and Computer Engineering.
Andrew Schoer (andrew.schoer@ll.mit.edu) is an Associate Technical Staff member in the Integrated Missile Defense Technology Group at MIT Lincoln Laboratory. His work is focused on the application of formal methods, safe control methods, and operations research to autonomous systems. He earned his M.S. in Systems Engineering from Boston University in 2021 and his B.S. in Electrical Engineering from Washington University in St. Louis in 2015.
Matthew Cleaveland (matthew.cleaveland@ll.mit.edu) is a member of Technical Staff in the Integrated Missile Defense Technology Group at MIT Lincoln Laboratory. His background is in formal methods for verification of autonomous systems. He received a Ph.D. in Electrical and Systems Engineering from the University of Pennsylvania in 2024 and a B.S. in Electrical and Computer Engineering from Duke University in 2018.
Trevor Ashley (trevor.ashley@ll.mit.edu) is currently an Assistant Leader of the Control and Autonomous Systems Engineering Group at MIT Lincoln Laboratory. In 2016, Trevor received a Ph.D. in Mechanical Engineering from Boston University where his thesis focused on control- and information-theoretic methods for tracking fluorescent nanoparticles in biological applications. Trevor joined MIT Lincoln Laboratory as Technical Staff in 2018, where his work has primarily focused on developing and testing perception-aware autonomy for ground and aerial platforms. Prior to MIT LL, he held software and control engineering positions in both the semiconductor and defense industries.