We will be undergoing system maintenance on May 16th, 2024 from 2 am through 6 am central time. The system will be unavailable during that time. Please plan accordingly.
Sanjit A. Seshia
Sanjit A. Seshia is a Professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley.
Books