Zachary Serlin
Scholar

Zachary Serlin

Google Scholar ID: S53D8psAAAAJ
MIT Lincoln Laboratory
Multi-agent SystemsRoboticsFormal MethodsMachine LearningComputer Vision
Citations & Impact
All-time
Citations
493
 
H-index
11
 
i10-index
11
 
Publications
20
 
Co-authors
11
list available
Resume (English only)
Academic Achievements
  • Has published several papers including 'How to Train Your Neural Control Barrier Function: Learning Safety Filters for Complex Input-Constrained Systems' (ICRA 2024 submitted), 'CatlNet: Learning Communication and Coordination Policies from CaTL+ Specifications' (L4DC 2023), etc.
Research Experience
  • Leads a portfolio of multiple programs focused on autonomy and AI for national security; research focuses on formal methods and learning for autonomous systems, trusted autonomy, deployed task allocation, and decision making among others.
Background
  • Currently a lead research scientist at MIT Lincoln Laboratory, focusing on autonomy and AI for national security applications. Research areas include verifiable multi-robot system coordination, formal methods for control systems, verifiable reinforcement learning, motion planning, and large vision model visual-semantic mapping.
Miscellany
  • Has LinkedIn and GitHub accounts; hobbies or other interests not mentioned.