Engg. Center ECOT 717
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

Jul 19, 2021 Invited talk on game based predictive runtime monitoring’’ at the https://workshops.inf.ed.ac.uk/SYNT2021/program.html. Chou Yi successfully defended her PhD dissertation titled: Bayesian parameter estimation for nonlinear dynamics’’. Congratulations Dr. Yi Chou!

## selected publications

1. Probabilistic Specification Learning for Planning with Safety Constraints
In Intelligent Robots and Systems (IROS), pp. TBA, 2021.
Note: To Appear.
2. Predictive Runtime Monitoring for Mobile Robots using Logic-Based Bayesian Intent Inference
In International Conference on Robotics and Automation (ICRA), pp. TBA, 2021.
Note: Cf. here for a video demo .
3. Reasoning about Uncertainties in Discrete-Time Dynamical Systems using Polynomial Forms
In Advances in Neural Information Processing System (NeurIPS), 2020.
4. Predictive Runtime Monitoring of Vehicle Models Using Bayesian Estimation and Reachability Analysis
In Intl. Conference on Intelligent Robots and Systems (IROS), pp. 2111-2118, 2020.
5. Quantitative Analysis of Programs with Probabilities and Concentration of Measure Inequalities
In Foundations of Probabilistic Programming (Editors: Gilles Barthe, Joost-Pieter Katoen, and Alexandra Silva), 2020.
6. Reachability Analysis using Message Passing over Tree Decompositions.
In International Conference on Computer-Aided Verification (CAV), Lecture Notes in Computer Science (LNCS) Vol. 12224, pp. 604–628, 2020.