Sanjit A. Seshia is a Professor in the Department of Electrical
Engineering and Computer Sciences at the University of California, Berkeley.
He received an M.S. and Ph.D. in Computer Science from Carnegie Mellon
University, and a B.Tech. in Computer Science and Engineering from the Indian
Institute of Technology, Bombay.
His research interests are in formal methods for
dependable and secure computing, with a current focus on the areas of
cyber-physical systems, computer security, machine learning, and robotics. He has made
pioneering contributions to the areas of satisfiability modulo theories (SMT),
SMT-based verification, and inductive program synthesis.
He is co-author of a widely-used textbook on embedded, cyber-physical
systems and has led the development of technologies for cyber-physical
systems education based on formal methods.
His awards and honors include a Presidential Early Career Award for
Scientists and Engineers (PECASE),
an Alfred P. Sloan Research Fellowship,
the Frederick Emmons Terman Award for contributions to electrical
engineering and computer science education,
the Donald O. Pederson Best Paper Award for the IEEE Transactions on CAD,
the IEEE Technical Committee on Cyber-Physical Systems (TCCPS) Mid-Career Award,
and the Computer-Aided Verification (CAV) Award for pioneering contributions to the foundations of SMT solving.
He is a Fellow of the ACM and the IEEE.