Xudong He
Ph.D. Virginia Polytechnic Institute and State University 1989
Dissertation:
Integrating Formal Specification and Verification Methods in Software Development
Advisor: John A. N. Lee
Students:
Click
here to see the students ordered by family name.
| Name | School | Year | Descendants |
|---|---|---|---|
| Kan, Chieh-Ying | North Dakota State University | 1994 | |
| Yao, Weili | North Dakota State University | 1996 | |
| Reza, Hassan | North Dakota State University | 2002 | |
| Ding, Junhua | Florida International University | 2004 | |
| Gao, Shu | Florida International University | 2005 | |
| Mo, Lian | Florida International University | 2005 | |
| Dong, Zhijiang | Florida International University | 2006 | |
| Shi, Tianjun | Florida International University | 2006 | |
| Fu, Yujian | Florida International University | 2007 | |
| Sun, Weixiang | Florida International University | 2008 | |
| Argote, Gonzalo | Florida International University | 2009 | |
| Chang, Lily | Florida International University | 2011 | |
| Zeng, Reng | Florida International University | 2013 | |
| Liu, Su | Florida International University | 2014 |
According to our current on-line database, Xudong He has 14 students and 14 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 62461 for the advisor ID.