Sanjit A. Seshia

Sanjit A. Seshia is the Cadence Founders Chair Professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley. He is affiliated with the Group in Logic and the Methodology of Science and participates in centers like the Industrial Cyber-Physical Systems Center, Berkeley AI Research, and the Simons Institute for the Theory of Computing.

Research interests include formal methods for automated verification and synthesis of dependable systems, with applications to cyber-physical systems, AI-based autonomy, and computer security. His work spans SMT solving, model counting, syntax-guided synthesis, and algorithmic improvisation, with tools like UCLID5, VerifAI, and Scenic for verifying autonomous systems and educational platforms like CPSGrader.

Students and collaborators include notable researchers such as Dorsa Sadigh (Stanford), Daniel Fremont (UC Santa Cruz), and Hazem Torfah (Chalmers). He has co-founded startups like Decyphir and 20ⁿ Labs based on his research.