George Ciprian Necula
Original record- Institution
- Carnegie Mellon University
- Year
- 1998
- Country
- United States
- MGP identifier
- 50191
Dissertation: Compiling with Proofs
Advisor 1
- Peter LeeUniversity of Michigan · 1987
Students 8
| Name | Institution | Year | Students |
|---|---|---|---|
| Bor-Yuh Evan Chang | University of California, Berkeley | 2008 | 2 |
| Adam James Chlipala | University of California, Berkeley | 2007 | 10 |
| Jeremy Paul Condit | University of California, Berkeley | 2007 | 0 |
| Sumit Gulwani | University of California, Berkeley | 2005 | 3 |
| Matthew Thomas Harren | University of California, Berkeley | 2007 | 0 |
| Scott McPeak | University of California, Berkeley | 2005 | 0 |
| Robert Richard Schneck | University of California, Berkeley | 2004 | 0 |
| Westley R. Weimer | University of California, Berkeley | 2005 | 8 |