Sriram Sankaranarayanan

Sriram Sankaranarayanan joined the computer science faculty at CU Boulder in 2009. His research interests include automatic techniques for reasoning about the behavior of computer and cyber-physical systems. He works on fundamental problems involving modeling and analysis using hybrid dynamical systems and formal methods, with applications to artificial pancreas systems for treating type-1 diabetes; verification and validation of algorithms that control robotic systems; and modeling/analyzing the interactions between humans and autonomous systems. Sriram earned his PhD in 2005 from Stanford University, where he was advised by Zohar Manna and Henny Sipma. Subsequently, he worked as a research staff member at NEC Laboratories in Princeton, New Jersey.