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 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.
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.
|Jul 5, 2023||Starting July 2023, I will be the Associate Dean for Digital Education at the College of Engineering.|
|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|
- Counterexample-guided computation of polyhedral Lyapunov functions for piecewise linear systemsAutomatica, 2023.Note: Accepted (in press).
- Template-Based Piecewise Affine RegressionIn Conference on Learning for Decision and Control (L4DC), 2023.Note: To Appear.
- Timed Partial Order Inference AlgorithmIn Proc. Intl. Conference on Planning and Scheduling (ICAPS), 2023.
- An Algorithm for Learning Switched Linear Dynamics from DataIn Neural Information Processing Systems (NeurIPS’22), Vol. 35, pp. 30419-30431, 2022.