![Sriram Sankaranarayanan](/cs/sites/default/files/styles/small/public/people/sriram-sankaranarayanan.png?itok=9BpnMwV6)
Professor • Associate Dean for Digital Education
ECCS 121A
ECCS 121A
听
Office Hours
Varies by semester听
听
听
Sriram Sankaranarayanan is a听professor of Computer Science at the University of Colorado听Boulder. His research interests include automatic techniques for reasoning about the behavior of computer and cyber-physical systems. Sriram obtained a 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 research labs in Princeton, NJ. He has been on the faculty at 澳门开奖结果2023开奖记录 since 2009.