George Necula - The Mathematics Genealogy Project

Home
Search
Extrema
About MGP
- Mission
- History (PDF)
- Support Us
- News
- Staff
- Recognition
- Acknowledgments
Links
FAQs
Posters
Submit Data
Contact
Donate

A service of the NDSU Department of Mathematics, in association with the American Mathematical Society.

George Ciprian Necula

MathSciNet

Ph.D. Carnegie Mellon University 1998

Dissertation: Compiling with Proofs

Advisor: Peter Lee

Students:
Click here to see the students ordered by family name.

Name	School	Year	Descendants
Schneck, Robert	University of California, Berkeley	2004
Gulwani, Sumit	University of California, Berkeley	2005	7
McPeak, Scott	University of California, Berkeley	2005
Weimer, Westley	University of California, Berkeley	2005	10
Chlipala, Adam	University of California, Berkeley	2007	9
Condit, Jeremy	University of California, Berkeley	2007
Harren, Matthew	University of California, Berkeley	2007
Chang, Bor-Yuh	University of California, Berkeley	2008	2

According to our current on-line database, George Necula has 8 students and 36 descendants.
We welcome any additional information.

If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 50191 for the advisor ID.