Sriram Sankaranarayanan

Professor of Computer Science.
Co-Associate Chair for Undergraduate 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 at the University of Colorado at Boulder.

My research focuses on areas of programming languages & verification and cyber-physical systems. I work on fundamental problems involving modeling and analysis of autonomous cyber-physical systems with applications to artificial pancreas systems for treating type-1 diabetes, runtime monitoring for autonomous vehicles and interactions between humans and autonomous systems.

As a faculty member, I teach a variety of courses in the areas of programming languages, algorithms, mathematical optimization and specialized courses pertinent to my research areas. I also serve as an associate chair for undergraduate education jointly with Ioana Fleming.

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.


May 23, 2023 We are looking for an undergraduate student willing to work up to 30 hours a week at $20/hour on analyzing data about human interactions with CPS. A background in applied mathematics + computer science would be essential since the project combines aspects of robotics, cyber-physical systems, formal logic and evalulating human skills in a framework that we are developing. Familiarity with ordinary differential equations (ODEs) for modeling physical systems, working with data and advanced programming language skills needed. A student who has taken CSCI 3155 with Prof. Sankaranarayanan and performed well with them would be strongly preferred since the class introduces some background in logic and semantics that would come in handy for this work.
May 10, 2023 I will be delivering a keynote talk about our work on algorithms for identifying hybrid systems at Hybrid Systems: Computation and Control in San Antonio, Tx

selected publications

  1. Counterexample-guided computation of polyhedral Lyapunov functions for piecewise linear systems
    Guillaume O. Berger, and Sriram Sankaranarayanan
    Automatica, 2023.
    Note: Accepted (in press).
  2. Template-Based Piecewise Affine Regression
    Guillaume O. Berger, and Sriram Sankaranarayanan
    In Conference on Learning for Decision and Control (L4DC), 2023.
    Note: To Appear.
  3. Timed Partial Order Inference Algorithm
    Kandai Watanabe, Georgios Fainekos, Bardh Hoxha, Morteza Lahijanian, Danil Prokhorov, Sriram Sankaranarayanan, and Tomoya Yamaguchi
    In Proc. Intl. Conference on Planning and Scheduling (ICAPS), 2023.
    Note: To Appear.
  4. An Algorithm for Learning Switched Linear Dynamics from Data
    Guillaume O. Berger, Monal Narasimhamurthy, Kandai Watanabe, Morteza Lahijanian, and Sriram Sankaranarayanan
    In Neural Information Processing Systems (NeurIPS’22), Vol. 35, pp. 30419-30431, 2022.