Vinayak Prabhu, Ph.D.
Affiliations: | 2008 | University of California, Berkeley, Berkeley, CA, United States |
Area:
Computer ScienceGoogle:
"Vinayak Prabhu"Parents
Sign in to add mentor| Thomas A. Henzinger | grad student | 2008 | UC Berkeley | |
| (Games for the verification of timed systems.) | ||||