SriramÌýSankaranarayanan
- Professor
- Associate Dean for Digital Education
- Archuleta Professorship
- ECCS 121A
Address
ECCS 121A
Ìý
Office Hours
Office Hours
Varies by semesterÌý
Ìý
Ìý
Sriram Sankaranarayanan is aÌýprofessor of Computer Science at the University of ColoradoÌýÂ鶹ӰԺ. 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 CU Â鶹ӰԺ since 2009.