Zebin Chen, Ph.D.

Email: zbchen AT gmail.com

RESEARCH INTERESTS

- Test Automation and Formal Engineering

- Requirement Engineering and HCI

EXPERTISE

- Solid C#/C++/Java programming language

- Solid in Multi-Threaded programming and software fundamentals: SetupAuthoring, Localization and Servicing

- Experienced in WPF/WinForm/COM/.Net Interop/Networking programming

PROFESSIONAL EXPERIENCE

05/2008–Present          Microsoft, Developer Division, Redmond, USA

11/1999–09/2001        Federal Express Pacific Inc, IT Division, Singapore

EDUCATION

Ph.D., Computer and Information Science, University of Oregon, USA, 2008 (Advisor: Stephen Fickas)

            Dissertation: Framework-based Model Construction with AOP Assistance

Master/Bachelor, Electrical Engineering, South China University of Technology, Guangzhou, China

AWARDS, CERTIFICATES and SOCIAL ACHIEVEMENTS

2002    Chair of Chinese Students and Scholarships Association in University of Oregon

2001    Federal Express Pacific Inc (Singapore), ITD BravoZulu Award

2000    Sun Certificate for Java Programmer

1996    Certificate for Software Engineer, China

SELECTED PUBLICATIONS

[1] Z. Chen, S. Fickas, "Comet: A Configuration Management Tool for Formal Modeling", in the 2nd IEEE International Conference on Software Engineering and Service Science (ICSESS 2011), Beijing, 2011

[2] Z. Chen, et. al. "Model Checking Aspect-Oriented Design Patterns” (accepted in CIMSim)

[3] Z. Chen, S. Fickas, "Model Checking Framework-based Applications with AspectJ Assistance", in the 23rd International Conference on Software Engineering and Knowledge Engineering (SEKE 2011), Miami Beach,

[4] Z. Chen, S. Fickas, "Do No Harm: Model Checking eHome Applications", in ICSE Workshop on Software Engineering of Pervasive Computing Applications, Systems and Environments, Minneapolis, 2007.

[5] S. Fickas, C. Pataky, Z. Chen, "DuckCall: Tracking the First Hundred Yards Problem", in Proceedings of 8th International ACM SIGACCESS Conference on Computers and Accessibility, Portland, 2006.

[6] Z. Chen, "Formal Modeling: A Framework-based Approach", Extended Research Abstract in Doctoral Symposium of the 14th ACM SIGSOFT Foundations of Software Engineering, Portland, 2006.

[7] Z. Chen and S. Fickas, "The Plain Old Television in a Smart Apartment", in Proceeding of 1st International Conference on Collaborative Computing: Networking, Applications and Worksharing, San Jose, 2005.

[8] Z. Chen, L. Zhang, S. Dong, The Performance Analysis of HTTP/1.1 Server Jigsaw, The Journal of Computer Application (Edition for Networking and MIS), pp. 129 - 133, vol. 18, 1998

[9] Z. Chen, L. Zhang, S. Dong, The Construction of an O-R Mapping Layer in Network Managing System: a Case Study, The Journal of Computer Application (Edition for CERNET), vol. 047, 1998

RESEARCH COMMUNITY SERVICE

Invited as a Programming Committee member and Reviewer for prestigious IEEE and ACM conferences and journals; 30+ Reviewed articles, including:

- Journal of IEEE Transaction on Software Engineering                      - Journal of Data Knowledge Engineering

- ACM SIG EICS 2011                        - The 6th IASTED HCI 2011

- ACM MobileHCI 2011          - ACM Conference on Computer Supported Cooperative Work (CSCW 2012)

- ACM UIST 2011                   - ICSE NIER Track 2011         - ACM SIG CHI 2011

- UIST 2011                             - DIS 2012

PROJECT EXPERIENCE

Windows Simulator for Immersive Application in Windows 8 (Visual Studio 2012), Microsoft

- Enable Immersive Application development w/o the actual hardware device: Touch, Rotation and Resolution

- In charge of essentials including SetupAuthoring, Localization and Servicing

- Host COM component in WPF

Drive Development of Visual Web Design for SharePoint (Visual Studio 2010), Microsoft

- Excite and attract ASP.NET developers to SharePoint with the same Visual Design Experience

- Drive one of the most popular features: Visual Design for WebPart

- The SP tool eases SP development to another level and receives numerous customer compliments!

Drive Team Test and Unit Test Integration with the Unit Test Framework Pex, Microsoft, 2009 - 2010

- Collaborate with Microsoft Research to integrate Pex with various flavor of Visual Studio

- Help Pex strategically widely spread to DevDiv developers and SharePoint developers

Lead Development of a Rehabilitation Program with End-User Programming

- Collaborate with Psychologists to build Rehabilitation Program in SmartPhone for the Brain Injured

- Break geography limit and enable community participation through end-user programming

Key Dev for DuckCall: Tackling the First Hundred Yard Problem for the Cognitive Impaired, UO

- Pioneer domestic health-care system for the cognition impaired

- Make TV/set-top box/Remote PC integration for end-user programming (care providers)

- Field deployment in Eugene health institutions; demoed in various conferences

Extend JPF to Model Check AspectJ Programs and Aspect-Oriented Design Patterns, UO, 2006 - 2008

- Enable JPF to check AspectJ programs and create search heuristics to improve search efficiency

- Led to the discovery of various concurrency flaws in published AspectJ programming idioms and design patterns, and conclude some deficiency in the current AspectJ weaving

Verifying OSGi Applications with an Aspect-Oriented Modeling Framework, UO, 2006 - 2008

- Hypothesis: The benefits of a framework can be achieved at the model level as well as the application level

- Re-implement an OSGi/Knopflerfish framework with AOP flavor. Specializing abstraction levels is simplified as the choice of aspects, and customization is limited to instantiating OSGi applications. Further showed that with a proxy pattern, the application models don’t have to change with the abstraction levels.

QuickSurveyer: a Smart, Mobile Survey Questionnaire and Voice Recorder, U of Oregon, 2007

- Design a survey tool to collect socialization experience for a Psychology Ph.D. dissertation

- Featured with adaptable user interface, voice-activated recording and robustness

Lead Development for FedEx Bid for SONY VAIO Online Shopping Prototype, 2000 – 2001

- Lead a team of moderate size to develop the prototype to bid a One Million contract

- Build a generic online shopping system integrated with FedEx shipping backend

- BravoZulu Award for the critical contribution in this project