Author details

Pushpak Jagtap
Affiliation
Center for Cyber-Physical Systems, Indian Institute of Science (IISc), Bengaluru
Biography
Pushpak Jagtap (Member, IEEE) received the M.Tech. degree in electrical engineering, in 2014, from the Indian Institute of Technology (IIT), Roorkee, India, and the Ph.D. degree in electrical and computer engineering in 2020 from the Technical University of Munich (TUM), Munich, Germany.,Before joining Ph.D. at TUM, he was a Senior Research Fellow (SRF) at the Center of Excellence in Complex and Nonlinear Dynamical Systems, VJTI, Mumbai, India. He is a Postdoctoral Research Fellow with the School of Electrical Engineering and Computer Science, KTH Royal Institute of Technology, Stockholm, Sweden. His research interests include formal verification and synthesis, symbolic models, stochastic systems, and nonlinear control systems.(Based on document published on 8 January 2021). Author's Published Works