I am currently studying problems in safety-critical autonomous systems, formal methods, and also estimation theory. The main objective of my research is to design formal mathematical frameworks to guarantee safety and liveness in multi-agent systems.
Designed a website that provides helpful tips and resources for Caltech students who are TAing in the Computing and Mathematical Sciences (CMS) Department at Caltech. Also hosting workshop to prepare students for the TAing role.
Used a combination of physics-based modeling and machine learning to design learning algorithms to
predict vehicle dynamics. Designed high performance tools in C++ required for real-time feature
extraction. Innovated new ML models and improved the accuracy of existing prediction tools by 30%.