Jyotirmoy V. Deshmukh
Scholar

Jyotirmoy V. Deshmukh

Google Scholar ID: CwFX74MAAAAJ
Associate Professor, University of Southern California
Cyberphysical systemsFormal/Statistical VerificationTemporal logicAI safetyReinforcement learning
Citations & Impact
All-time
Citations
3,002
 
H-index
30
 
i10-index
60
 
Publications
20
 
Co-authors
53
list available
Resume (English only)
Background
  • Associate Professor, Thomas Lord Department of Computer Science, University of Southern California
  • Associate Professor, Ming Hsieh Department of Electrical and Computer Engineering, University of Southern California
  • Research Director, CPS-VIDA Lab
  • Co-Director, Center for Autonomy and AI
  • Research interests include formal methods, cyber-physical systems (CPS), and neuro-symbolic systems