Electrical Engineering
      and Computer Sciences

Electrical Engineering and Computer Sciences

COLLEGE OF ENGINEERING

UC Berkeley

Cory-Soda Hall Logo
photo of Sanjit A. Seshia
   

Sanjit A. Seshia

Associate Professor

Research Areas

Research Centers

Teaching Schedule (Spring 2014)

Biography

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