Name: Yefei Zhao
Gender: male
Affiliation: Department of Computer Science, East China Normal University, Shanghai, China
Degree: Ph. D. candidate
Member: IEEE student member, IACSIT Senior Member?Editor and reviewer of “Journal of Digital Content Technology and its Applications”, Technical committee member of ICCMS 2010, ICFN 2010.
Address: Room 431, Building No.15, HongMei South Road 5800, MinHang District, Shanghai, China
Postal Code: 200241
Email: [email protected]
English Bio:
1997.7—-2001.7: Bachelor degree in Department of computer science, North Eastern University.
2001.7—-2005.5: Work as a software engineer in Avant!, SVA and DBtel.
2005.7—-2007.7: Master degree in Department of computer science, East China Normal University
2007.7—-Present: PH.D. Student in Department computer science, East China Normal University
Yefei Zhao: IEEE student member, IACSIT Senior Member?editor of “Journal of Digital Content Technology and its Applications”, rewarded the best paper of ISECS 2009, his work was supported by PhD Program Scholarship Fund of ECNU 2007. He received B.S. in Computer Science from North-Eastern University, Shenyang, China; received M.S. in Computer Science from East China Normal University, Shanghai, China. Presently he works as a PH. D. candidate in Computer Science from East China Normal University, Shanghai, China. His research interests include model checking, process algebras and probabilistic model checking.
Yefei Zhao was born in Jinlin city, China, in 1978; received B.S. in Computer Science from North-Eastern University, Shenyang, China; received M.S. in Computer Science from East China Normal University, Shanghai, China. He worked as a software engineer in Avant, SVA and DBtel Corporation from July, 2001 to July, 2005 in Shanghai, China. Presently he is a PHD candidate in Computer Science from East China Normal University, Shanghai, China. His research interests include model checking, process algebras, probabilistic model checking, stochastic process algebras and software engineering.
He is IEEE student member, the editor of International Journal of Digital Content Technology and its Applications. He takes part in the research work as follows: the National Natural Science Foundation of China under Grant No.60703004; the National Research Fund for the Doctoral Program of Higher Education of China under Grant No. 20060269002; PhD Program Scholarship Fund of ECNU 2007.
Scholarship/Research:
1. Get the excellent scholarship as B.S. in Computer Science from North-Eastern University in 1998.
2. Get the full scholarship as M.S. in Computer Science from East China Normal University in May, 2005.
3. Get the second prize in “The first M.S. Mathematical Modeling Contest of East China Normal University” in May, 2007.
4. Get the full scholarship as PHD candidate in Computer Science from East China Normal University in September, 2007.
5. The PHD thesis “Design-Component oriented Formal function verification and performance analysis” gets the supported by “PhD Program Scholarship Fund of ECNU 2007 under Grant No. 2009054” in December, 2008.
6. Take part in the research work “Consistency and Communication of Software architecture and component implementation in Component system”, which is the National Research Fund for the Doctoral Program of Higher Education of China under Grant No. 20060269002
7. Take part in the research work “Modeling and semantics research of Web transactions”, which is the National Natural Science Foundation of China under Grant No. 90718004 in September, 2007.
8. Take part in the research work “Design and application research of Implemented best digital signature”, which is the National Natural Science Foundation of China under Grant No. 60703004 in September, 2007.
Publications:
1. Yefei Zhao, YANG Zong-yuan, Jinkui Xie, Qiang Liu. Formal model and analysis of sliding window protocol based on NuSMV. Journal of Computers. ISSN: 1796-203X. May, 2009. (EI source journal)
2. Yefei Zhao, YANG Zong-yuan, Jinkui Xie. Formal semantics of UML state diagram and automatic verification Based on Kripke structure. 22nd IEEE Canadian Conference on Electrical and Computer Engineering (CCECE 2009). May, 2009. (EI index)
3. Yefei Zhao, YANG Zong-yuan, Jinkui Xie. Pi-calculus based assembly mechanism of UML state diagram and Validation of model refinement. International Conference on Electronic Computer Technology (ICECT 2009). February, 2009. (EI index)