Zachary Serlin

I am currently a lead research scientist at MIT Lincoln Laboratory. In this role, I lead a research portfolio of multiple programs focused on autonomy and AI for national security applications. My portfolio focuses on verifiable multi- robot system coordination, formal methods for control systems, verifiable reinforcement learning, motion planning, and large vision model visual-semantic mapping. This work is being applied to large-scale logistics and command systems, automated strategy generation for multi-robot coordination, and verifiable and resilient uncrewed platform planning and control. My future research goals are focused on applying techniques from formal methods to provide guarantees on the behavior of learning-based embodied AI systems.