SriramSankaranarayanan

  • Professor
  • Associate Dean for Digital Education
  • ECCS 121A
Address

ECCS 121A
Ìı

Office Hours

Office Hours
Varies by semesterÌı

Ìı

Ìı

Sriram Sankaranarayanan is aÌıprofessor of Computer Science at the University of babyÖ±²¥appÌı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 babyÖ±²¥app at CU Boulder since 2009.