Brief Biography
Sanjit A. Seshia is an assistant professor in the Department of Electrical
Engineering and Computer Sciences at the University of California, Berkeley.
He received an M.S. and a 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 computer security, electronic design automation,
and program analysis. He has received an Alfred P. Sloan Research Fellowship (2008),
an NSF CAREER award (2007), and the School of Computer Science
Distinguished Dissertation Award at Carnegie Mellon University (2005).