home › people



Dan Davies
  • software optimization in commercialization of research
  • novel technologies in context of traditional AI problems and data mining
  • 18 patents
  • Ph.D. and M.S. in Electrical Engineering from Stanford University; B.S. in Engineering from John Hopkins University


Johan de Kleer
  • PARC Research Fellow and leads the Model-based Reasoning area
  • co-invented the field of Qualitative Reasoning;  invented the Assumption-based Truth Maintenance System (ATMS) and the field of model-based diagnosis
  • 19 patents; over 100 published papers and co-authored three books
  • Recipient of the "Lifetime Achievement Award" at the 25th International Workshop on Principles of Diagnosis and Computers and the "Computers and Thought Award" at the International Joint Conference on Artificial Intelligence
  • Ph.D., Artificial Intelligence EECS and S.M., Computer Science EECS, Massachusetts Institute of Technology; B.Sc. (Honors), Mathematics and Computer Science, University of British Columbia, Canada


Saigopal Nelaturi
  • manages the Computation for Automation in Systems Engineering area
  • intelligent automation, digital manufacturing, geometric modeling, computational design, robotics, spatial computing
  • Ph.D., M.S., Mechanical Engineering, University of Wisconsin-Madison; M.Sc., Manufacturing, University of Bath, U.K.; B.E., Mechanical Engineering, RV College of Engineering, India



Bob Price
  • inference, tracking, learning, and planning applications for government and industry clients
  • model-based control on a system for improving the diagnostic information generated from automatically constructed plans; machine learning of rules to diagnose problems in printing engines from fault code sequences; and optimization of power loads on aircraft to minimize power and cost and maximize utility
  • Ph.D. in Computer Science from the University of British Columbia