Generate a tailored SOP for Dr. Sanjit Seshia. Improve your application with a focused, well-structured draft.
Sanjit Seshia is a Professor and the Cadence Founders Chair Professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley. He received his Ph.D. and M.S. degrees in Computer Science from Carnegie Mellon University and his B.Tech. in Computer Science Engineering from the Indian Institute of Technology, Bombay. His research interests are in formal methods and dependable secure computing, with a current focus on cyber-physical systems, computer security, machine learning, and robotics. He has made pioneering contributions in areas such as satisfiability modulo theories (SMT), SMT-based verification, and inductive program synthesis. A co-author of a widely-used textbook on embedded and cyber-physical systems, he has also been instrumental in developing educational technologies based on formal methods. His awards include the Presidential Early Career Award for Scientists and Engineers (PECASE), the Alfred P. Sloan Research Fellowship, and the Frederick Emmons Terman Award for his contributions to engineering education. He is a Fellow of both the IEEE and ACM.
The Mathematics Subject GRE is required for the Fall 2026 admissions cycle. General GRE is optional.