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.
|Nov 16, 2022||We are looking for an undergraduate student willing to work up to 20 hours a week at $20/hour on analyzing data from clinical trials and building models from data. The position will start by January 2022 and continue to May 2022. Prior experience with CS research, having taken the advanced data structures class and worked on medical data is needed. Position will close on Friday Nov 18. 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.|
- An Algorithm for Learning Switched Linear Dynamics from DataIn Neural Information Processing Systems (NeurIPS’22), pp. TBA, 2022.Note: To Appear.
- Using Artificial Potential Fields to Model Driver Situational AwarenessIn Workshop on Cyber-Physical Human Systems (CPHS), pp. TBA, 2022.Note: To Appear.
- Mathematical Models of Human Drivers using Artificial Risk FieldsIn IEEE Intelligent Transportation Systems Symposium (ITSC), pp. TBA, 2022.Note: To Appear.
- Decoding Output Sequences for Discrete-Time Linear Hybrid SystemsIn ACM International Conference on Hybrid Systems: Computation and Control (HSCC), pp. 6:1–6:7, 2022.