Description: C:\Users\cz103\Desktop\Chunying2.bmp                    Chunying Zhao

Assistant Professor

440 Stipes Hall

Department of Computer Science
Western Illinois University


Brief Biography

Chunying Zhao got the Ph.D. degree from the Computer Science department of The University of Texas at Dallas in August 2010, under the guidance of Professor Kang Zhang in the Visual Computing Lab.

Before that she received a Master degree in computer science from UT Dallas in August 2008. Previously, she received her B.E and M.E in computer science from Nankai University in 2002 and 2005, respectively.



Teaching In Western Illinois University

Fall 2011

CS 491 Software Engineering I

CS 492 Software Engineering II

CS 585 Topics in Software Engineering



Research Interests

Software Engineering: Program Verification and Analysis, Reverse Engineering, Visual Modeling Languages, Model Driven Development, Mining Software Engineering Data.

Information Visualization: Software Visualization, Cross-referencing Visualization, Computer Graphics.

Human-Computer Interaction: Adaptive Interface Design, Usability Study.

Web Services: Service Composition, Runtime Behavior Verification.



       Journal Papers

Chunying Zhao, Jun Kong, and Kang Zhang, "Program Behavior Induction and Verification: A Graph Grammar Approach", IEEE Transaction on Software Engineering (TSE), Vol. 36, No. 3, May-June 2010, pp. 431 - 448.

Jun Kong and Chunying Zhao, "Visual Language Techniques for Software Development", Journal of Software, Vol. 19, No. 8, August 2008, 1902-1919.

Chunying Zhao, Jun Kong, Jing Dong, and Kang Zhang, "Pattern-based design evolution using graph transformation",  Journal of Visual Language and Computing (JVLC), August 2007, Vol. 18, No. 4, 378-398.

Jingtai Liu; Lei Sun, Tao Chen, Xingbo Huang, and Chunying Zhao, "Research on Competitive Teleoperating Robot System", Robot, Vol. 27, No. 1, 2005: 68-72.

Jie Hao, Chad Gabrysch, Chunying Zhao, and Kang Zhang, "A General Methodology for Visualizing Hierarchical Information on Mobile User Interfaces", Journal of Advanced Intelligence, Accepted.

       Book Chapters

Chunying Zhao and Kang Zhang, "A Graph Grammar Approach to Behavior Verification of Web Services", High Assurance Services Computing, ISBN: 978-0-387-87657-3, Springer, May 2009, pp. 127-143.

       Conference Papers

Chungying Zhao, Kang Zhang, Jie Hao, and Eric W. Wong, "Visualizing Multiple Program Executions to Assist Behavior Verification", Proc. IEEE International Conference on Secure Integration and Reliability Improvement (SSIRI 2009), Shanghai, China, July, 2009, pp. 113-122, IEEE Press. (Accept rate 23%)

Chunying Zhao, Kang Zhang, and Yu Lei, "Abstraction of Multiple Executions of Object-Oriented Programs", Proc. 24th Annual ACM Symposium on Applied Computing (SAC09), Honolulu, 8-12 March 2009, pp. 549-550, ACM Press.

Chunying Zhao and Kang Zhang, "A Grammar-Based Reverse Engineering Framework for Behavior Verification", Proc. 11th IEEE International Symposium on High Assurance Systems Engineering (HASE08), Nanjing, China, 3-5 December 2008, pp. 449-452, IEEE Press. (Acceptance rate 28%)

Chunying Zhao, Kevin Ates, Jun Kong, and Kang Zhang, "Discovering Programs Behavioral Patterns by Inferring Graph-Grammars from Execution Traces", Proc. 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI08), Dayton, 3-5 November 2008, pp. 395-402, IEEE Press. (Acceptance rate 29%)

Chunying Zhao and Kang Zhang, "Transformational Approaches to Model Driven Architecture - A Review", Proc. 31st Annual Software Engineering Workshop (SEW 2007), Baltimore, MD, 6-8 March 2007, pp. 67-74, IEEE Press.

Chunying Zhao, Jun Kong, and Kang Zhang, "Design Pattern Evolution and Verification Using Graph Transformation", Proc. 40th Annual Hawaii International Conference on System Science (HICSS 40), Big Island, Hawaii, 3-6 Jan. 2007, pp. 290a. 

Jingtai Liu, Lei Sun, Tao Chen, Xingbo Huang, and Chunying Zhao, "Competitive Multi-robot Teleoperation", Proc. 2005 IEEE International Conference on Robotics and Automation (ICRA 2005), 18-22 April 2005, Barcelona, Spain, pp. 75- 80, IEEE Press. (771 out of 1700, Acceptance rate 45%)

Chunying Zhao, Jingtai Liu, Yujuan Li, Tao Chen, and Lei Sun, "Virtual Repulsive Force in Competitive Multi-Robot Teleoperation", Proc. International Conference on Information Technology and Applications (ICITA 2005), Sydney, 4-7 July, 2005, pp. 15-20, IEEE Press. (Acceptance rate 26%)

Jingtai Liu, Tao Chen, Lei Sun, Shuihua Wu, Xingbo Huang, and Chunying Zhao, "Telegame, A New Type of Teleoperation", Proc. 5th World Congress on Intelligent Control and Automation (WCICA 2004), 15-19 June 2004, Hangzhou, China, 4741-4744, IEEE Press.

Lei Sun, Jingtai Liu, Guizhang Lu, Shuihua Wu, Xingbo Huang, and Chunying Zhao, "Internet-Based Telegame", Proc 5th World Congress on Intelligent Control and Automation (WCICA 2004), 15-19 June 2004, Hangzhou, China, 2004, 4933-4936, IEEE Press.