Sriram Sankaranarayanan

Professor of Computer Science.
Associate Dean for Digital Education
University of Colorado Boulder


Engg. Center ECOT 717
University of Colorado Boulder
Boulder, CO 80309-0430
Phone: (303) 492 6580

I am a Professor in the Computer Science department and the associate dean for digital education in the College of Engineering at the University of Colorado at Boulder.

My research focuses on the design and analysis of cyber-physical systems: these are computations that involve a combination of programs that execute “discretely” interacting with a physical environment that “flows” continuously. I work on fundamental problems involving modeling and analysis using hybrid dynamical systems and formal methods with applications to artificial pancreas systems for treating type-1 diabetes, verification and validation of algorithms that control robotic systems and modeling/analyzing the interactions between humans and autonomous systems. I am part of the programming languages & verification group at CU Boulder.

I teach a variety of courses in the areas of programming languages, algorithms, mathematical optimization and specialized courses pertinent to my research areas.

I have been faculty at CU Boulder since 2009. Previously, I was a member of research staff at NEC Laboratories America from 2005-2009. I graduated with a PhD in (theoretical) Computer Science from Stanford University in 2005. Here is a link to a brief biography.


Jun 20, 2024 Congratulations to Drs. Emily Jensen, Monal Narasimhamurthy and Kandai Watanabe for successfully defending their PhD dissertations.
Apr 1, 2024 I will be co-organizing ATVA 2024 with S. Akshay and Aina Niemetz as co-PC chairs and Ichiro Hasuo as general chair.
Mar 30, 2023 I gave an invited talk on my intent monitoring work at the User-Aligned Assessment of Adaptive AI Systems workshop Spring Symposium 2024.

selected publications

  1. Cone-Based Abstract Interpretation for Nonlinear Positive Invariant Synthesis
    Guillaume O. Berger, Masoumeh Ghanbarpour, and Sriram Sankaranarayanan
    In Hybrid Systems: Computation and Control (HSCC), pp. 12:1-12:16, 2024.
  2. Counterexample-guided computation of polyhedral Lyapunov functions for piecewise linear systems
    Guillaume O. Berger, and Sriram Sankaranarayanan
    Automatica, 155 pp. 111165, 2023.
  3. Temporal Logic-Based Intent Monitoring for Mobile Robots
    Hansol Yoon, and Sriram Sankaranarayanan
    In IROS, pp. 8643–8650, 2023.