Coverity Dec 2012 - Jun 2013
Software Engineer
Google May 2010 - Aug 2010
Software Engineer Intern
Google May 2009 - Aug 2009
Software Engineer Intern
UOneNet - Beijing City, China Feb 2006 - Aug 2006
Software Engineer
Education:
Indiana University Bloomington 2012
Master of Science (M.S.), Computer Science
Cornell University 2008
Master of Science (M.S.), Computer Science
Tsinghua University 2001 - 2005
Sichuan University 1997 - 2001
B.E., Computer Science and Technology
Skills:
Algorithms Compilers Type Systems Static Analysis Logic Programming Functional Programming Scheme Java C++ Computer Science Lambda Calculus Programming Language Semantics Type Theory Common Lisp C Haskell Matlab Linux Coq Assembly Mathematica JavaScript Racket
Interests:
programming, thinking, blogging, traveling
Languages:
English Mandarin French
Awards:
Best Paper Award ASP-DAC Fellowship Indiana University declined
Facebook Jul 2016 - Mar 2017
Senior Staff Engineer
Hewlett-Packard May 2008 - Apr 2013
Research Scientist
University of Micigan 2003 - May 2008
Ph.d, Research Assistant
Ibm May 2007 - Sep 2007
Research Intern
Hewlett-Packard May 2005 - Aug 2005
Research Intern
Education:
University of Michigan 2003 - 2009
Doctorates, Doctor of Philosophy
Shanghai Jiao Tong University 1996 - 2003
Master of Science, Masters, Bachelors, Bachelor of Science, Electronics Engineering
Hunan Normal University
Skills:
Algorithms Machine Learning Simulations C++ Matlab Research Distributed Systems Data Mining Python Latex Mathematical Modeling Java Computer Science Computer Architecture High Performance Computing Parallel Computing
Beijing University of Technology,Beijing,China 1995 - 2000
Bachelors, Bachelor of Science
Beijing University of Technology,Beijing,China 1993 - 1997
Bachelors, Bachelor of Science
Methodist Hospital/ Casa Colina Rehabilitation Centers
Feb 2014 to 2000 Rehabilitation Program AssistantSedgwick Claims Management Services, Inc. Ontario, CA Dec 2013 to Jan 2014 Office AssistantEl Encanto Healthcare Industry, CA Jun 2011 to Aug 2011 VolunteerJian-Tai Acupuncture Clinic Hacienda Heights, CA Jul 2004 to Aug 2009 Medical/Office Assistant
Education:
University of California Santa Cruz Santa Cruz, CA Jun 2013 Bachelor of Science in Biology
Us Patents
Middleware For Extracting Aggregation Statistics To Enable Light-Weight Management Planners
Aameek Singh - University Place, IN Sandeep M. Uttamchandani - San Jose CA, US Yin Wang - Ann Arbor MI, US
Assignee:
INTERNATIONAL BUSINESS MACHINES CORPORATION - Armonk NY
International Classification:
G06F 9/46
US Classification:
719328
Abstract:
Management of a planner through use of a middleware layer. A computer system is configured with the middleware layer in communication with both a planner and a data repository. One or more modules are provided in the middleware layer to support the functionality of the planner. Application program interface calls are employed to call the modules, thereby mitigating duplication of the functionality in separate planners.
Yin Wang - Sunnyvale CA, US Hamid Reza Motahari Nezhad - Los Altos CA, US Ram Swaminathan - Cupertino CA, US Sharad Singhal - Belmont CA, US
International Classification:
G06F 15/16
US Classification:
709223
Abstract:
A method of generating a set of composite services is provided herein. The method includes receiving standardized service descriptions of a set of component services from service providers. The standardized description of a component service may be translated to an automaton-based description. A specified goal associated with the set of component services may be received. The set of composite services may be generated based on the automaton-based description and the specified goal. Each of the generated composite services may accomplish the specified goal.
Yin Wang - Palo Alto CA, US Ahmed M. Nazeem - Atlanta GA, US Ram Swaminathan - Cupertino CA, US
International Classification:
G06F 9/44
US Classification:
717104
Abstract:
An exemplary embodiment of the present may provide goods or services by selecting component services, and computing an automaton from the component services. A Petri net may be generated from the automaton using a theory of regions, and the Petri net may be executed to optimize the provision of goods or services.
Identifying Impact Of A Traffic Incident On A Road Network
Mahalia Katherine MILLER - Palo Alto CA, US Chetan Kumar Gupta - San Mateo CA, US Yin Wang - Sunnyvale CA, US
International Classification:
G06G 7/76
US Classification:
701119
Abstract:
A method and system for identifying impact of a traffic incident on a road network, wherein the impact may be measured in terms of a spatial-temporal-impact region, in terms of incident duration from the time the incident is reported to the time at which the affected road network returns to recurrent flow conditions, and in terms of a cumulative time delay of all affected drivers.
Provided herein are systems, apparatuses, and methods of providing a centrifugally cast rotor assembly for an induction motor of an electric vehicle. The rotor assembly includes a rotor lamination stack with a cylindrical shape that terminates in a first end surface and a second end surface. The rotor lamination stack has multiple lamination discs, and each lamination disc has multiple rotor slots. The rotor assembly further includes copper bars disposed within the rotor slots, a first intermediary end ring disposed at the first end surface, and a second intermediary end ring disposed at the second end surface. A centrifugally cast first copper end ring that electrically and mechanically couples each of the copper bars is located proximate the first end surface, and a centrifugally cast second copper end ring that electrically and mechanically couples each of the copper bars is located proximate the second end surface.
Provided herein are systems, apparatuses, and methods of providing a centrifugally cast rotor assembly for an induction motor of an electric vehicle. The rotor assembly includes a rotor lamination stack with a cylindrical shape that terminates in a first end surface and a second end surface. The rotor lamination stack has multiple lamination discs, and each lamination disc has multiple rotor slots. The rotor assembly further includes copper bars disposed within the rotor slots, a first intermediary end ring disposed at the first end surface, and a second intermediary end ring disposed at the second end surface. A centrifugally cast first copper end ring that electrically and mechanically couples each of the copper bars is located proximate the first end surface, and a centrifugally cast second copper end ring that electrically and mechanically couples each of the copper bars is located proximate the second end surface.
Determining Online System User Eligibility For Receiving Content Using A Polygon Representing A Physical Location Associated With The Content
- Menlo Park CA, US Kevin Ventullo - Cambridge MA, US Charles Joseph Hughes - San Francico CA, US Yin Wang - Fremont CA, US
International Classification:
H04L 29/08 G06Q 50/00 H04W 4/02
Abstract:
An online system determines a polygon representing a physical location associated with a content item and indexes edges of the polygon based on their positions along an axis of a map. The index is used to retrieve edges spanning a point on the axis representing a location of a client device associated with an online system user. The online system compares the positions of the point and retrieved edges on an axis perpendicular to the axis and determines whether the user is at the physical location based on the comparison. If the user is not at the physical location, a boundary surrounding the point is compared with boundaries surrounding the indexed edges to determine whether the user is within a threshold distance of the physical location. If the user is at or within the threshold distance of the physical location, the user is determined eligible to receive the content item.
Systems And Methods For Providing Quantitative Evaluation Of Map Quality
Systems, methods, and non-transitory computer-readable media can acquire a first map that represents a particular geographical region. The first map can be associated with an image map. A first vector map can be generated based on the image map with which the first map is associated. A second map that represents the particular geographical region can be acquired. The second map can be different from the first map and can be associated with a second vector map. One or more quantitative evaluations for at least one of the first map or the second map can be provided based on the first vector map and the second vector map.