Pushpak Jagtap

Brief Biography

Hi, I am Pushpak Jagtap. I am currently pursuing Ph.D. at Hybrid Control Systems (HyConSys) lab under the guidance of Prof. Dr. Majid Zamani at Department of Electrical and Computer Engineering in Technical University of Munich (TUM), Germany. I am also working as a research assistant at Software and Computational Systems Lab in Ludwig Maximilian University of Munich (LMU), Germany. During PhD, I visited

1. Antoine Girard's group at L2S-CNRS, France,
2. Sadegh Soudjani's lab at School of Computing in Newcastle University, UK, and
3. George J. Pappas's lab at University of Pennsylvania, Philadelphia, USA

for some collaborative works. I received Master of Technology (M.Tech.) in Electrical Engineering with specialization in Systems and Control from Indian Institute of Technology (IIT), Roorkee, India in 2014. From September 2014 to September 2015, I worked as a Senior Research Fellow (SRF) at Center of Excellence in Complex and Nonlinear Dynamical Systems, VJTI, Mumbai, India.

My research primarily focuses on various aspects of nonlinear control theory and its applications. In particular, my research interests include

• Formal Methods in Control
• Automated Verification and Synthesis of Control Systems
• Stochastic Systems
• Cyber-Physical Systems

Click here for a detailed CV.

Click here for my google scholar.