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 listed in chronological order.

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

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.