Stats, Optimization, and Machine Learning Seminar - Sriram Sankaranarayanan
Sriram Sankaranarayanan, Department of Computer Science, Â鶹Ãâ·Ñ°æÏÂÔØ
Reasoning about Neural Feedback Systems
Data-driven components such as feedforward neural networks are increasingly being usedÌýin critical safety systems such as autonomous vehicles and closed-loop medical devices.Ìý Neural networks compute nonlinear functions. Relatively tiny networks present enormous challenges for existing reasoning techniques used in formal verification. In this work, we will present the first steps into verifying properties of neural networks in isolation, and reasoning about properties of dynamical systems with neural networks as feedback.
Joint work with Souradeep Dutta (Â鶹Ãâ·Ñ°æÏÂÔØBoulder), Ashish Tiwari (Microsoft) and Susmit Jha (SRI).
Bio: Sriram Sankaranarayanan is an associate 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 Ph.D. 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 Â鶹Ãâ·Ñ°æÏÂÔØ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 faculty (2012), outstanding teaching (2014), and the Provost's faculty achievement award (2014).