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.