Sanjit
Seshia
University of California, Berkeley
2007
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.
Directorate for Computer and Information Science and Engineering (CISE)