The Presidential Early Career Award for Scientists and Engineers: Recipient Details
Sanjit Seshia
Affidivation:
University of California, Berkeley
NSF Directorate:
CISE
Gender:
M
Award Year:
2007
Citation:
For ground-breaking research at the nexus of verification, learning theory, and control systems research, towards a new generation of resilient, survivable embedded systems technology; he also is recognized for a creative and active program of outreach and educational innovation, to introduce verification into the systems disciplines.