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.

news

Aug 20, 2022 We are looking for an hourly RA willing to work up to 12 hours a week at $31/hour on analyzing data from clinical trials. The position will start by end of August and continue to the end of the year 2022 . Pre-requisites include advanced knowledge/facility with machine learning, experience with medical devices and handling medical records. Prior research experience in these topics is important. Please send CV to me by Monday August 22, 2022. Position will close on Monday August 22nd. If you are seeing this past that deadline, please do not email Sriram about this.
Aug 10, 2022 We are looking for an hourly RA willing to work up to 20 hours a week at $31/hour on analyzing human driving dataset. Pre-requisites include advanced knowledge/facility with machine learning, dynamics models especially of robots and interest in human cognition. Prior research experience in these topics is important. Please send CV to me by Monday August 15, 2022. Position will close on Monday August 15th. If you are seeing this past that deadline, please do not email Sriram about this.
May 27, 2022 I will be talking about our work on reachability analysis at NASA Formal Methods Symposium (NFM) in Pasadena, CA.
May 16, 2022 Congratulations to Hansol Yoon on successfully defending his PhD thesis titled: “Predictive Runtime Monitoring for Safe Autonomy”.
May 10, 2022 Delighted to announce that our Data Science Foundations: Data Structures and Algorithms Specialization on Coursera won the 2022 Coursera Innovation Award. Grateful to all the team members for their contributions.

selected publications

  1. Mathematical Models of Human Drivers using Artificial Risk Fields
    Emily Jensen, Maya Luster, Hansol Yoon, Brandon Pitts, and Sriram Sankaranarayanan
    In IEEE Intelligent Transportation Systems Symposium (ITSC), pp. TBA, 2022.
    Note: To Appear.
  2. Decoding Output Sequences for Discrete-Time Linear Hybrid Systems
    Monal Narasimhamurthy, and Sriram Sankaranarayanan
    In ACM International Conference on Hybrid Systems: Computation and Control (HSCC), pp. 6:1–6:7, 2022.
  3. Static Analysis of ReLU Neural Networks with Tropical Polyhedra
    Eric Goubault, Sebastien Palumby, Sylvie Putot, Louis Rustenholz, and Sriram Sankaranarayanan
    In Static Analysis Symposium (SAS), Lecture Notes in Computer Science Vol. 12913, pp. 166–190, 2021.
  4. Reasoning about Uncertainties in Discrete-Time Dynamical Systems using Polynomial Forms
    Sriram Sankaranarayanan, Yi Chou, Eric Goubault, and Sylvie Putot
    In Advances in Neural Information Processing System (NeurIPS), 2020.
  5. Quantitative Analysis of Programs with Probabilities and Concentration of Measure Inequalities
    Sriram Sankaranarayanan
    In Foundations of Probabilistic Programming (Editors: Gilles Barthe, Joost-Pieter Katoen, and Alexandra Silva), 2020.
  6. Reachability Analysis using Message Passing over Tree Decompositions.
    Sriram Sankaranarayanan
    In International Conference on Computer-Aided Verification (CAV), Lecture Notes in Computer Science (LNCS) Vol. 12224, pp. 604–628, 2020.