Research

My work spans safe autonomy, multi-agent systems, and bio-inspired robotics — developing controllers and planners that are provably correct and deployable on resource-constrained hardware. Full research statement →

Swarm Intelligence Safe Control Formal Methods Bio-inspired Robotics Aerospace Systems