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
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.
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.