Pushpak Jagtap
Scholar

Pushpak Jagtap

Google Scholar ID: Szd98jUAAAAJ
Assistant Professor, Robert Bosch Center for Cyber-Physical Systems, IISc Bangalore, India
Formal Verification and SynthesisFormal MethodsControl of Cyber-Physical SystemsStochastic
Citations & Impact
All-time
Citations
1,028
 
H-index
17
 
i10-index
27
 
Publications
20
 
Co-authors
61
list available
Resume (English only)
Academic Achievements
  • - Published a paper in IEEE Transactions on Control of Networked Systems (IEEE TCNS) 2025
  • - Won Best Paper Award at the 10th Indian Control Conference 2024
  • - Multiple papers accepted for presentation at top international conferences such as ICC 2025, IEEE TAC 2025, CDC 2025, etc.
Research Experience
  • - Researcher at FOCAS Lab
  • - Involved in the development of several robotic platforms
  • - Focuses on designing controllers capable of performing complex tasks with formal guarantees
Education
  • PhD - Indian Institute of Science (IISc), Bangalore
  • Advisor: Not specified
  • Time: Not specified
  • Field: Control Theory and Automation
Background
  • Research Interests: Formal control theory, design of autonomous systems, application of machine learning in control systems.
  • Fields: Mechanical Engineering, Electrical Engineering, Computer Science.
Miscellany
  • Personal interests include exploring how new technologies can improve the quality of everyday life.