Xinyu Feng

MathSciNet


Ph.D. Yale University 2007 UnitedStates
Dissertation: An Open Framework for Certified System Software
Mathematics Subject Classification: 68—Computer science

Advisor: Zhong Shao

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

NameSchoolYearDescendants
Liang, HongjinUniversity of Science and Technology of China2014
Zhang, YangUniversity of Science and Technology of China2015
Xu, FengweiUniversity of Science and Technology of China2016

According to our current on-line database, Xinyu Feng has 3 students and 3 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 127393 for the advisor ID.