Software Engineer Service

Tony Zhou, PhD

Cell: 480-***-****

***********@*****.***

*** *************, **** **** ****, UT, 84108

http://www.public.asu.edu/~xzhou21/

OBJECTIVE

Find a Software Engineer position in Salt Lake City area.

KEY QUALIFICATIONS

PhD in Computer Science, Author of a software engineering book which is selling

on Amazon.

Have Green Card

EDUCATION

PhD, Computer Science and Engineering, Arizona State University, US

Feb, 2008

Master & Bachelor, Computer Science and Engineering, South China University of

Technology

May, 2004

WORK EXPERIENCE

R&D Software Engineer, VMWare, Palo Alto, CA

Mar, 2008-To date

Designed and developed an automation testing framework for a large scale web

application. The testing framework is written in Java and Action Script. The

web-application under test has a Flash Flex/Action Script front-end and a Java

spring backend.

Skills: Java, J2EE, JavaScript, Eclipse, Action Script, Adobe Flex Builder,

Tomcat, Selenium, TestNG, Linux.

Research Intern, Translational Genomics Research Institute (TGen), Phoenix, AZ

May, 2007-Aug, 2007

Designed and implemented a federated database system to support the analysis on

SNP, Microarray and expression data.

Developed the web-based report and plotting functions. This application can plot

researchers' desired graph on the webpage.

Skills: C++, Visual Studio, SQL, Reporting Services, ASP.NET, R, SAS, Matlab.

Software Engineer Intern, Google., Mountain View, CA

May 2006-Aug, 2006

Designed and developed an Eclipse Plug-in and a Visual Studio add-in for an

automation testing tool.

Designed and developed a Web-based IDE for automation testing, including recorder

and replay. This IDE automatically generates test case code.

Skills: NET, Eclipse, Java, Eclipse plug-in, Visual Studio add-in, C++, Firefox

extension, JavaScript, Eclipse, c++, Selenium.

Research Assistant, Joint Project between Microsoft Research and Arizona State

University

Oct 2005-May, 2006

.NET Intermediate Language level and executable level code instrumentation and

optimization;

Skills: Phoenix compiler backend tool, .NET, C#, C++, Intermediate Language.

Software Engineer Intern, Lucent Technologies (Global Design Center)

Apr 2004-Aug 2004

Developed and testes the 5ESS Network Switch;

Skills: C++, Solaris

Research Assistan and Teaching Assistantt, Arizona State University

Jul 2004-Dec, 2007

Developed a verification framework to test web services.

Teaching Assistant of the graduate level course "Distributed Software

Development". Tutored students how to design and develop distributed software and

web services. C++, JDeveoper, Oracle SOA suite, Eclipse, Visual Studio 2005, Web

Services, BPEL, Ontology, WSDL.

Teaching Assistant of the graduate level course "Software Verification,

Validation and Testing". Tutor students in basic and advanced software testing

knowledge; Instruct students in Web Service developing and testing.

Skills: C++, Java, Eclipse, IBM Websphere, IBM Rational Application Developer,

Axis, Apache Tomcat, IIS, WS-Policy, WS-notification, WSDL, OWL-S, BPEL, .NET,

UDDI, Java, JWSDP, ebXML, Verification, Testing, Statistics.

PUBLICATIONS

Book: Testing and Verifying Web Services - from the research's perspective, VDM

Verlag Publisher., September, 2008

http://www.amazon.com/Testing-Verifying-Services-Xinyu-Zhou/dp/363-***-****

Book Chapter: High Assurance Services Computing, A Coverage Relationship Model

for Test Case Selection and Ranking for Multi-version Software,

http://www.springerlink.com/content/kk14181j7g244r73/, Springer US, 2009

On Testing and Evaluating Service-Oriented Software, Computer, vol. 41, no. 8,

pp. 40-46, Aug., 2008

SOA Simulation and Verification by Event-Driven Policy Enforcement, Annual

Simulation Symposium 2008

A Coverage Relationship Model for Test Case Selection and Ranking for

Multi-version Software, 10th IEEE High Assurance Systems Engineering Symposium,

2007.

Roadmap to a Full Service Broker in Service-Oriented Architecture, Third IEEE

International Workshop on Service-Oriented System Engineering, 2007.

A Policy Enforcement Framework for Verification and Control of Service

Collaboration, Information Systems and E-Business Management, Springer, Sep,

2007.

Collaboration Policy Generation in Dynamic Collaborative SOA, Eighth

International Symposium on Autonomous Decentralized Systems, ISADS2007

Pi4SOA: A Policy Infrastructure for Verification and Control of Service

Collaboration, The IEEE International Conference on e-Business Engineering, 2006

Simulation Verification and Validation by Dynamic Policy Specification and

Enforcement, SIMULATION: Transactions of the Society for Modeling and Simulation,

2006.

Web Service Group Testing with Windowing Mechanisms, IEEE International Workshop

on Service-Oriented System Engineering (SOSE 2005)

Adaptive Testing, Oracle Generation, and Test Case Ranking for Web Services,

Proceedings of the IEEE COMPSAC, 2005

The framework based on Decision support system for knowledge acquisition from

import and export data, Proceedings of the 4th International Symposium on

Knowledge and Systems Science, 2003

Reinforcement of UML and Implementation of DLMM Platform for Information System,

Proceedings of the 4th International Symposium on Knowledge and Systems Science,

2003

A JUnit-based Automatic System Unit Test Model and Implementation, International

Workshop on Meta-Synthesis and Complex System, 2003.

PROFESSIONAL SERVICE

Reviewer:

DSN'05, Simulation Transaction, SOCA

Web Chair:

ISADS'07, ICEBE'06, WCCIA'06, WORDS'05, SOSE'06

Operations Committee:

ISADS'07, SOSE'05, WORDS'05

TECHNICAL SKILLS

- Math:

Calculus, Statistics, Series/Sequence

- Programming:

C#, C++, Java, Javascript, Python, Servlet, JSP, PHP, HTML, XML, XMI, ASP, UML,

Design Patterns

- Tools:

.NET, VB, Delphi, Eclipse, Tomcat, Lotus, Rational Rose, Bugzilla, JUnit, VSS,

Oracle SOA suite, Websphere, IIS, Rational Application Developer

- OS:

Solaris, Unix, Linux, Windows

- Databases:

MS SQL Server, My SQL, Sybase, Oracle, DB2, ODBC, JDBC

Contact this candidate