I graduated from Princeton University with a BSE in Mechanical Engineering and certificates in the Applications of Computing and Robotic and Intelligent Systems. I have also worked in Raffaello d’Andrea’s Laboratory in ETH Zurich and Daniel Koditschek’s Laboratory (the Kod*Lab) at the University of Pennsylvania.
I am currently studying problems in safety-critical autonomous systems, formal methods, and also estimation theory. The goals of my research include:
1) Designing formal mathematical frameworks to guarantee safety in multi-agent systems.
2) Augmenting existing control & estimation algorithms with semantic information from new vision-based classification algorithms.