Jing Ping
Email: ************@*****.*** Phone: 951-***-****
EDUCATION
M.S. Computer Science GPA: 3.48/4.0 Jun 2013(expected)
Department of Computer Science and Engineering, University of California, Riverside
B.S. Software Engineering GPA:3.24/4.0 Jun.2011
Software Engineering Institute, East China Normal University
TECHNOLOGIES AND COURSE
Languages: Java, C, C++, C#.Net, Matlab, SQL, PHP, HTML, JS, ASP, Python
Software: Visual Studio, Microsoft SQL Server, My SQL, Eclipse.
OS: Windows and Linux
Graduate Course: Algorithm (A+), Advanced Database System, Computer Graphics, Data Mining, Advanced
Programing Language, Distributed System, Complier Construction, Information Retrieval
INTERNSHIP
Software Design Engineer Intern, Microsoft Corporation (Aug.2010-Dec.2010). C#.Net, SQL
Participate the development of UDE(Unified Diagnosis Ecosystem)
Extract formatted data from dump files and symbol files and put them in database
Present data in comfortable UI for engineer
Test the entire system
PROJECTS
Patent Publications Parsing Ongoing in UCR, Java
About Natural language Processing and Data mining
Resolve the important information from plain text
Course Plan Project Parsing Data File into database. J2EE, JPA, EJB Module, NetBeans.
Distributed File Sharing Service: Using Amazon EC2 to deploy virtual storage system and write the algorithm
to operate sharing file with low cost, PHP(2012)
Identifying Hot-Topics in Twitter: Using Named Entity Recognition to extracted Hot Topic (2012)
Cartoon rendering for 3D-scene: Using Cel-shading algorithm render the scene and outline the object,
OpenGL, C++ (2012)
Amazon Product Information Retrieval and Recommendation (2007). Java
Construct the distributed Web Crawler based on Amazon Advertisement Product API
Deliver the targeted Advertisement through the browser plug-in based on the information retrieval
Verification and Analysis tool of Web Service Choreography language (2009-2011).Dynamic Symbolic
Execution for Test Generation, Java
Unifying Approach to Verity the Static Properties Based on XML Document (2011). Formal Language
Verification, Java
The Comparison of the Different Algorithm on MovieLens Dataset. Classification Algorithms and
Performance Evaluation. Weka, Java.
Pintos (An instructional OS created at Stanford University). Threads schedule, user programs, virtual memory. C
Design and implement an E-Commerce Website. Database design and all access operation. C#.Net, SQL
Web Service Securities Transactions. Google Map API, Call and deploy of Web Service. C#.Net, Javascript
ADDITIONAL EXPERIENCE AND AWARDS
Participated in National Innovation Experiment Program for University Students in China
Selected to join in Elite Class at the beginning of second of year(17 out of 240)
Scholarship for Excellent Academic Performance of East China Normal University (twice)
Receive the encouragement from Da Xia Cup of ECNU
Volunteer in ICFEM 2010, UTP 2010, UML&FM 2010, TTSS 2010
PUBLICATIONS
Z. Wang, L. Zhou, Y Zhao, J Ping, H Xiao, G. Pu, H. Zhu. Web Services Choreography Validation. In Journal of
Service Oriented Computing and Applications, Volume 4, 2010
L. Zhou, J. Ping, H. Xiao, Z. Wang, G. Pu, and Z. Ding. Automatically testing web services choreography with
assertions. In ICFEM ’10: Proceedings of the 11th International Conference on Formal Engineering Methods,
Berlin, Heidelberg, 2010. Springer Verlag.
L. Zhou, H. Xiao, J. Ping, G. Pu, and H. Zhang. Simulation and validation of web services choreography. In
SOCA ’09: Proceedings of the 2009 IEEE International Conference on Service -Oriented Computing and
Applications, pages 1–8, 2010.