Sriram Sankaranarayanan
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.