Zachary Serlin

Technical Staff @ MIT Lincoln Laboratory,Autonomous Systems Research Scientist,Robotics Engineer

About me

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.


Formal Methods and Learning for Autonomous Systems

Online Planning

Offline planning subject to Time Window Temporal Logic. Then online planning allows for dynamic requests and obstacle avoidance while maintaining specification satisfaction.


A beehive that weighs, identifies, and tracks bees to evaluate the hive's health.


Feel free to contact me with any questions!

Work Experience

Building and Designing Robotic Systems and Algorithms

MIT Lincoln Laboratory

Lead Research Scientist - Technical Staff Autonomy Team Lead
8/2020 – Present

BMDS Student Technical Assistant
9/2018 – 8/2020

Surveillance Systems Summer Analyst
5/2018 – 8/2018


Student Team Leader
9/2016 – 1/2020

Barrett Technology

Mechanical Engineering Intern
6/2016 – 9/2016