Current: working with Professor Michael
Genesereth in the Stanford Logic Group.
This
group is a member of the
Digital Enterprise
Research Intstitute (DERI) Org and
the Semantic Technology Institute International.
Background
Conference/Workshop/Journal Organization
Selected Publications
Memberships
Curriculum Vitae
Background
Dr. Petrie was a Founding Member of Technical Staff of the AI Lab
founded by Prof. Woody Bledsoe at the Microelectronics and
Computer Technology Consortium (MCC) in 1984, Project Leader of the
first technology commercialized by MCC, Founding Program Chair
of the ICEIMT, one of the earliest editors of the
WWW Virtual Library (a
precursor of Wikipedia),
Founding
Editor-in-Chief of IEEE Internet Computing, and Founding Executive
Director of the
Stanford Networking Research Center. Dr. Petrie has
been often asked to write and speak on Internet futures. He
edits and writes the Peering column of
Internet Computer.
His general research topic is collective work (see also "Emerging Collectives for Work and Play"), and his research focuses on the use of web services to create and support Virtual Enterprises with Dynamic Web Service Integration. He is the project leader of a POEM research project with SAP.
He collaborates with STI Innsbruck and DERI Galway and is currently an Advisor to SAP's Enterprise Services Community. Dr. Petrie has also consulted with companies such as HP, Siemens, Volkswagen, DaimlerChrysler, CommerceNet, and Commerce One on advanced IT technologies. He has been a member of the Technology Advisory Group of DaimlerChrysler.
2005-2007: Consulting Associate Professor woring with Professor Larry Leifer at the Center for Design Research in a research cooperation with the Volkswagen AutoUni. Also Sr. Research Scientist in Computer Science.
1999-2004: Executive Director, 2004-2005 Staff Scientist for the Stanford Networking Research Center. Performed a start-up operation and was within the year the largest research center in the Stanford School of Engineering. After working in this administrative capacity and the organization was mature, he transitioned back to research. As Staff Scientist, he conducted the SNRC Industry Seminar Series
1993-1999: Sr. Research Scientist at the Center for Design Research (CDR) at Stanford. Research interests: agent-based distributed process coordination, with emphasis on concurrent planning and design, using agents with shared models for change propagation. While there, he was also one of the founding council members of the WWW Virtual Library, starting the Mechanical Engineering section.
In cooperation with Professors Larry Leifer and Mark R. Cutkosky, Dr. Petrie was part of the DARPA experiment in distributed engineering: MADEFAST. At the CDR, he implemented a generic process coordination server, called Redux', that forms the basis for a agent-based engineering framework, called ProcessLink, for the coordination of heterogeneous engineering design tools. The first application was a distributed system for the design of aircraft electrical cable systems. The project was design of consumer electronics for Toshiba. A major result of this agent-based engineering work was the JATLite agent infrastructure.
From April, 1984, until September, 1993, Dr. Petrie was Senior Member, Technical Staff, at the Microelectronics and Computer Technology Corporation ( MCC). He was the first person hired by Professor Woody Bledsoe for the AI Lab there, worked for Dr. Elaine Rich, and led the Proteus Project, which developed an advanced hybrid reasoning system and was the first technology to be used commercially by MCC shareholders.
Dr. Petrie is also experienced in technology transfer issues and is the subject of a case study, "Technology Transfer and MCC", in R&D Collaboration on Trial, Gibson, David V. and Rogers, Everett M., Harvard Business School Press, 1994. Dr. Petrie also worked with the MCC EINet project in developing E-commerce technology. He holds a patent for using crytographic techniques for insuring delivery of software products over the Internet (5509071).
Prior to MCC, Dr. Petrie was a project manager for Sperry Univac, and a specialist in performance analysis and benchmarking of mainframes for distributed networked systems and seismic processing.
He has a B.S. in Mathematics from LSU and a M.S. and Ph.D. in Computer Science from the University of Texas at Austin in Austin, Texas. His advisor was Prof. Robert Simmons. He has published extensively in the field of knowledge representation, truth maintenance, constraint satisfaction, and inferencing architectures. He has served and continues as a reviewer, guest editor, and/or program committee member for IEEE, AIEDAM, CERA, AI, AAAI, IJCAI, ECAI, and CAIA. He has co-taught ME394: Computational Support for Team Design.
"Using Object-Oriented Constraint Satisfaction for Automated Configuration Generation," (PDF), with Sahai et al., Lecture Notes in Computer Science, 3278, p. 159, Springer-Verlag Heidelberg, November 2004.
"Distributed Coordination of Project Schedule Changes using Agent-based Compensatory Negotiation," (PDF) with Kim et al.,AIEDAM, 2003.
"Trust-Based Facilitator: Handling Word-of-Mouth Trust
for Agent-Based E-Commerce" (PDF),
with Ono et al.,
Journal of Electronic Commerce Research,
3 (3-4) pp. 478-486,
July - October 2003, pp. 201-220.
"Agent-Based Software Engineering"(HTML)
(PostScript), Invited talk:
PAAM 2000,
Agent-Oriented Software Engineering, Eds P
Ciancarini and M. Wooldridge, Lecture Notes in AI 1957,
Springer-Verlag, 2001.
"JATLite: A Java Agent Infrastructure with
Message Routing" (PostScript), with Jeon, H. and
Cutkosky, M. R.,
Internet Computing, 4(2) Mar/Apr 2000.
"Agent-Based
Project Management" (HTML),
(PostScript) with Goldmann, S., and Raquet, A.,
Lecture Notes in AI 1600, Springer-Verlag, 1999.
A shortened version appeared as
"Agent-Based Process Management", (PostScript) with Goldmann, S., and Raquet,
A.,
Proc. of the Intnl.Workshop on
Intelligent Agnets in CSCW, , Deutsche Telekom,
Dortmound, Sept. 1998, p. 1-17, also
IJCAI Workshop on Workflow and Process Management,
Aug., 1999.
"Combining Constraint Propagation and Backtracking
for Distributed
Engineering", with H. Jeon and M. Cutkosky, Working
Notes of the ECAI-96
Workshop on Non-Standard Constraint Processing, 1996.
A revised version was
published in the notes of AAAI'97 Workshop on Constraints and
Agents, AAAI Press, Technical Report WS-97-05, August, 1997.
"Agent-Based Engineering, the Web, and Intelligence", IEEE Expert, 11:6, pp. 24-29, December, 1996.
"Using Pareto Optimality to Coordinate Distributed Agents," with T. Webster and M. Cutkosky, AIEDAM 9, 269-281, 1995.
"Design Space Navigation as a Collaborative Aid," (PostScript) Proc. AI in Design: 3rd Internat. Conf., pp. 611-623, Lausanne, August, 1994.
"The Redux' Server," (PostScript) Proc. Internat. Conf. on Intelligent and Cooperative Information Systems (ICICIS), Rotterdam, May, 1993.
Enterprise Integration Modeling, (ICEIMT) editor, MIT Press, October, 1992."A Minimalist Model for Coordination", AAAI-92 Workshop on Design Rationale. Also in Enterprise Integration Modeling.
"Constrained Decision Revision," Proc. AAAI-92.
"Context Maintenance", Proc. AAAI-91.
"A New Notion of
CSP Equivalence," with Rossi and Dhar, Proc. ECAI-90,
Stockholm, August, 1990.
Also available as the longer MCC Technical Report TR AI-022-89:
"On the
Equivalence of Constraint Satisfaction Problems"
IEEE Computer Society, AAAI, and ACM
.