About

I am a second-year PhD student in Systems Engineering at Boston University, advised by Prof. Roberto Tron and Prof. Sean B. Andersson. I am a member of the BU Robotics Lab and I also collaborate closely with Prof. Renato Mancuso at the Cyber-Physical Systems Lab Lab.

My research focuses on making neural network controllers practically certifiable for safety-critical robotic systems. I develop methods at the intersection of control theory, machine learning, and formal verification — with the goal of enabling resource-constrained robots to learn and execute complex behaviors while providing formal stability and safety guarantees.

News

• [Jan 2026] Paper accepted at ACC 2026: Accelerating Lyapunov-Stable Neural Control using Fulfillment Priority Logic
• [Oct 2025] Paper published at IROS 2025: Closing the Intent-to-Behavior Gap via Fulfillment Priority Logic
• [May 2025] Passed PhD Qualifying Exam

Research Interests

• Machine learning and control theory
• Safety-critical and resource-constrained robotics
• Formal verification and stability guarantees
• Sample-efficient reinforcement learning