Bio:
Sanjit A. Seshia is the Cadence Founders Chair Professor in the Department of Electrical Engineering and Computer Sciences (EECS) at the University of California, Berkeley. His research interests span formal methods for dependable and secure computing, including cyber-physical systems (CPS), computer security, distributed systems, artificial intelligence (AI), machine learning, and robotics. He co-authored a widely-used textbook on embedded cyber-physical systems and has led efforts in CPS education based on formal methods. His honors include the Presidential Early Career Award for Scientists and Engineers (PECASE), an Alfred P. Sloan Research Fellowship, the Frederick Emmons Terman Award, the IEEE TCCPS Mid-Career Award, and the CAV Award for contributions to SMT solving. He is a Fellow of the ACM and the IEEE.