ECOT 624
Sriram Sankaranarayanan is an associate 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. Sriram has been the recipient of awards including the President's Gold Medal from IIT Kharagpur (2000), Siebel Scholarship (2005), the CAREER award from NSF (2009), Dean's award for outstanding junior baby直播app (2012), outstanding teaching (2014), and the Provost's baby直播app achievement award (2014).
Sriram Sankaranarayanan's Past Students
