Contact
Pfaffenwaldring 9
70569 Stuttgart
Germany
Room: 2.238
Office Hours
By Appointment
Subject
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
Summer Term
Formal Methods in Control
Since 08/2023 | Postdoctoral researcher at the Institute for Systems Theory and Automatic Control, University of Stuttgart, Germany. |
01/2023-04/2023 |
Visiting researcher at the University of Pennsylvania, USA |
07/2019-07/2023 |
Research assistant at the Software and Computational Systems Lab, Ludwig Maximilian University of Munich, Germany
|
09/2018-03/2019 | DAAD IIT-MSP Sandwich Programme Scholar at Technical University of Munich, Germany |
06/2017-05/2019 |
M.Tech in System and Control, Indian Institute of Technology Roorkee, India
|
08/2012-05/2016 |
|