Armando Solar-Lezama
Original record- Institution
- University of California, Berkeley
- Year
- 2008
- Country
- United States
- MGP identifier
- 142222
Dissertation: Program Synthesis by Sketching
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Rastislav BodikUniversity of Pittsburgh · 1999
Students 3
| Name | Institution | Year | Students |
|---|---|---|---|
| Alvin Cheung | Massachusetts Institute of Technology | 2015 | 0 |
| Rishabh Singh | Massachusetts Institute of Technology | 2014 | 0 |
| Jean Yang | Massachusetts Institute of Technology | 2015 | 0 |