Electrical Engineering
      and Computer Sciences

Electrical Engineering and Computer Sciences


UC Berkeley

Cory-Soda Hall Logo
photo of Sanjit A. Seshia

Sanjit A. Seshia

Associate Professor

Research Areas

Research Centers


He received his B.Tech. in Computer Science and Engineering from the Indian Institute of Technology, Bombay and a M.S. and a Ph.D. in Computer Science from Carnegie Mellon University. His Ph.D. thesis research on the UCLID verification system pioneered the area known as satisfiability modulo theories (SMT) and SMT-based verification. He has co-authored a textbook on embedded systems. He has received a Presidential Early Career Award for Scientists and Engineers (PECASE), an Alfred P. Sloan Research Fellowship, and the School of Computer Science Distinguished Dissertation Award at Carnegie Mellon University.

Selected Publications