I am a fourth year Computer Science PhD student at the University of Southern California. I am part of the CPS-VIDA group, and my advisor is Prof. Jyotirmoy Deshmukh. My research interests lie in the design and verification of controllers for cyber-physical systems.
My research involves:
- Incorporating formal methods in the design of controllers for autonomous systems. This
- Design of reward functions for reinforcement learning agents, given temporal logic task specifications.
- Fault detection and verification of perception-based control systems, especially in the context of autonomous vehicles.
Before this, I received my B.S. in Computer Engineering from the University at Buffalo in 2018, where I also worked with Prof. Karthik Dantu at the Distributed Robotics and Networked Embedded Systems Lab.