Sanjit Seshia

Position Title
Cadence Founders Chair Professor, Electrical Engineering and Computer Sciences
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 received an M.S. and 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 formal methods for dependable and secure computing, with a current focus on the areas of cyber-physical systems, computer security, machine learning, and robotics. He has made pioneering contributions to the areas of satisfiability modulo theories (SMT), SMT-based verification, and inductive program synthesis. He is co-author of a widely-used textbook on embedded, cyber-physical systems and has led the development of technologies for cyber-physical systems education based on formal methods. His awards and honors include a Presidential Early Career Award for Scientists and Engineers (PECASE), an Alfred P. Sloan Research Fellowship, the Frederick Emmons Terman Award for contributions to electrical engineering and computer science education, the Donald O. Pederson Best Paper Award for the IEEE Transactions on CAD, the IEEE Technical Committee on Cyber-Physical Systems (TCCPS) Mid-Career Award, the Computer-Aided Verification (CAV) Award, and the Distinguished Alumnus Award from IIT Bombay. He is a Fellow of the ACM and the IEEE.

2005, Ph.D., Computer Science, Carnegie Mellon University
2000, M.S., Computer Science, Carnegie Mellon University
1998, B.Tech., Computer Science, Institute of Technology, Bombay

UC Noyce Initiative project

In collaboration with Bjoern Hartmann from UC Berkeley, Yasser Shoukry from UC Irvine and Cathra Halabi from UCSF, Seshia will create a personalized home-based rehabilitation platform using the latest advancements in Mixed Reality technology to enable clinicians to precisely tailor patient assessments and interventions through their UC Noyce Initiative project,  “ScenicMR: Personalized, Privacy-Preserving, Mixed-Reality Platform for Home-Based Patient Rehabilitation.”


Noyce Focus Area