Scholar
Sriram Sankaranarayanan
Google Scholar ID: V8RKLEsAAAAJ
Professor of Computer Science, University of Colorado Boulder
Citations & Impact
Citations
5,467
H-index
35
i10-index
99
Publications
20
Co-authors
70
list available
Publications
Resume (English only)
Academic Achievements
- Organized VMCAI 2025; supervised PhD dissertations of Emily Jensen, Monal Narasimhamurthy, and Kandai Watanabe; published paper 'Controlled Supermartingale Functions for Stochastic Differential Equations: Inference and Applications' etc.
Research Experience
- Faculty at CU Boulder since 2009. Previously, a member of research staff at NEC Laboratories America from 2005-2009.
Education
- PhD in (Theoretical) Computer Science from Stanford University in 2005.
Background
- Professor of Computer Science and Associate Dean for Digital Education. Research focuses on the design and analysis of cyber-physical systems, which involve a combination of programs that execute discretely interacting with a physical environment that flows continuously. Main research areas include hybrid dynamical systems, formal methods, and applications to artificial pancreas systems, verification and validation of algorithms for robotic systems, and modeling/analyzing interactions between humans and autonomous systems.
Miscellany
- Students: Please Read Before Emailing.
