My research focus is primarily on the intersection of formal methods, learning, and control. In particular, I am interested in the analysis and controller synthesis against complex logic specifications for complex nonlinear systems, interconnected systems, as well as learning-enabled systems.
Follow my google scholar page here
Formal Methods in Control
|Postdoctoral researcher at the Institute for Systems Theory and Automatic Control, University of Stuttgart, Germany.
Visiting researcher at the University of Pennsylvania, USA
Research assistant at the Software and Computational Systems Lab, Ludwig Maximilian University of Munich, Germany
|DAAD IIT-MSP Sandwich Programme Scholar at Technical University of Munich, Germany
M.Tech in System and Control, Indian Institute of Technology Roorkee, India