Sanjit A. Seshia is an Associate 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 dependable
computing and computational logic, with a current focus on applying automated
formal methods to problems in embedded systems,
electronic design automation, computer security,
and program analysis.
His Ph.D. thesis work on the UCLID verifier and decision procedure
helped pioneer the area of satisfiability
modulo theories (SMT) and SMT-based verification.
He is co-author of a widely-used textbook on embedded systems.
His awards and honors include a Presidential Early Career Award for
Scientists and Engineers (PECASE) from the White House, an Alfred P. Sloan Research Fellowship,
and the School of Computer Science
Distinguished Dissertation Award at Carnegie Mellon University.