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
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!
Building and Designing Robotic Systems and Algorithms
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
Mechanical Engineering Intern
6/2016 – 9/2016