- Zhengfeng Yang
- Associate Professor
- Symbolic Computation, Program Verification
- School of Software Engineering,Shanghai Key Laboratory of Trustworthy Computing
 | | | Phone:+86-21-32204750-123 | |  | |
 | |  | |
 | |  | |
 | | E-mail: | zfyang@sei.ecnu.edu.cn | | | |
| | | | |
| | | | |
| | | |
Method of Optimization‚ Modern Applied Mathematics‚ Discrete Mathematics
Symbolic Computation‚Symbolic and Numerical Hybrid Computation‚Program Verification
- Doctor of Philosophy in Mathematics Sep.2001- Jul.2006
Academy of Mathematics and Systems Science‚ CAS
Advisors: Prof. Wentsun Wu and Lihong Zhi
- Bachelor of Applied Mathematics Sep.1997-Jul.2001
Changchun Normal College
The page edit time:2011-1-19 8:25:54
© 2008 East China Normal University all right serviced.
Page Management