|
|
PARC -
People -
Chain -
Lattice -
Pubs -
Demos -
Sims -
Links
Team: Arancha David Craig Sam Kimon John Mark Ying |
| |||||
|
Ying is a member of research staff at Xerox Palo Alto Research Center. Ying came to PARC in January 1999 for working on the software aspects of the modular reconfigurable robots. She has been responsible for the software architecture, and control and communication intrastructures: including the design and development MDCN (Massively Distributed Control Net) as a high level CAN (Controller Area Network) protocol, and ASM (Attribute/Service Model) for distributed coordination among multiple sensors, actuators and tasks. Her current research interests are communication and control of massively distributed embedded real-time systems, modeling and simulation of hybrid dynamic systems, behavioral specification and verification of such systems and constraint-based control synthesis. Ying has a M.Sc. and a Ph.D. in Computer Science at the University of British Columbia, (Vancouver, B.C., Canada). For her M.Sc., she did research in artificial intelligence (specifically in planning, reasoning, and computer vision), object-oriented, parallel and distributed systems, and multi-sensory robotic systems and control. While a Ph.D. she did research in the areas of algebraic models, logical specification and formal verification, real-time systems, robotic systems and hybrid systems, constraint satisfaction and constraint-based control. Ying also did a post-doc and was a lecturer in the computer science department at UBC. Prior to her graduate school work she was at Zhejiang University (People Republic of China) where she earned her B.Sc. and M.Sc. degrees in computer science. Her previous research experience includes DataGlyph toolkit development while working at Xerox Architecture and Document Systems as a member of research staff. Also she worked at Xerox Wilson Center for Research and Technology where she focused on constraint-based system analysis, modeling and control of xerographic processes, discrete-event simulation, GUIs, and system support for modeling environments. See also Ying's home page. Last updated Jan. 2002 |