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.