University of California, Berkeley
Post-Doc, Electrical Engineering & Computer Sciences (EECS)
University of Maryland, Computer Science
Thesis Title: Satisfiability-based Program Reasoning and Program Synthesis
|
Ras Bodik
Jeff Foster Sumit Gulwani Mike Hicks |
Contact Information
| Homepage: |
