Home | About | News | R&D | Products & Services | Publications | Contact
Home

Mark Boddy CV


Curriculum Vitae

Mark S. Boddy

mark.boddy@adventiumlabs.org
651-442-4109

Education

  • Ph.D. in Computer Science, Brown University May, 1991. Dissertation title: Solving Time- Dependent Problems: A Decision-Theoretic Approach to Planning in Dynamic Environments.
  • M.Sc. in Computer Science, Brown University, May 1987.
  • B.S. in Physics, Haverford College, May 1981.

Awards and Honors

  • H.W. Sweatt Award, 2000. Honeywell's Highest Technical Award
  • IBM Graduate Fellowship 1987-88, 1988-89, 1989-90
  • AAAI Publisher's Prize for Best Conference Paper, 1987

Employment

  • Member, Technical Staff, Adventium Labs, Dec 2002 to present
  • Research Scientist, Honeywell International, Jan 1991 to Dec 2002 (last title: Research Fellow)
  • Adjunct Professor of Computer Science, U. of Minnesota, Sept. 1991 to present
  • Intern, NASA Ames Research Center, Summer 1989
  • Consultant, Jet Propulsion Labs, 1987
  • Research Assistant, Brown University, 1985 to 1990
  • Systems Analyst and Programmer, SASI, Inc. , 1982 to1985

Courses taught at the University of Minnesota

  • Topics in Artificial Intelligence
  • Planning Seminar

Research Interests: Planning and scheduling; Hybrid reasoning; Constraint satisfaction problems; Distributed scheduling; Multi-agent collaborative systems; Heuristic search; Decision theory and real-time decision-making under uncertainty; Temporal reasoning.

Selected projects at Adventium

  • Coordinators (DARPA). Subcontracting role, focussed primarily on the "Change Evaluation" and "Coordination" modules."
  • Verification and Validation of Autonomous Systems, subcontracting to USRA.
  • Closing the Loop on Net-Centric Defense
  • BAMS, the "Behavioral Adversary Modeling System." BAMS applies classical AI planning to vulnerability analysis for cyber defense.
  • DOE Automation study. We generated a study for the Department of Energy, focussed on identifying opportunities to use automation to achieve energy and cost savings in the DOE's "Industries of the Future" (IOF).
  • NASA autonomy grant. We produced a report, surveying requirements, methods, and opportunities for using compilation methods to improve the implementation of autonomous systems for NASA missions.
  • NASA planning grant. We produced a report, surveying NASA's requirements, current projects, and strategic directions in planning and scheduling.

Selected projects at Honeywell

  • Petroleum refinery scheduling proof-of-concept (PI)
  • Manufacturing scheduling business case and implementation (PI)
  • Distributed scheduling for data retrieval and analysis (PI)
  • Conditional and contingency planning with bounded risk (PI)
  • Contract-based negotiation and scheduling for maximizing ATC capacity (PI)
  • Interaction management and collaborative problem solving (PI).
  • Satellite operations scheduling prototype (PI)
  • Avionics processing and communications scheduling - technology consultant
  • Batch manufacturing scheduler prototype - technology consultant
  • Scheduling with state constraints (PI)
  • Refinery and petrochemical scheduling, prototype and product development (PI)
  • Generic scheduling toolset/toolkit development (Program Manager).

Publications

  • Incremental Causal Reasoning, Proceedings of the Sixth National Conference on Artificial Intelligence, Seattle, Washington, 1987. With Thomas Dean.
  • An Analysis of Time Dependent Planning, Proceedings of the Seventh National Conference on Artificial Intelligence, St. Paul, Minnesota, 1988. With Thomas Dean.
  • Reasoning About Partially Ordered Events, Artificial Intelligence 36, 1988. Also in ``Qualitative Reasoning About Physical Systems,' Morgan Kaufmann, 1989. With Thomas Dean.
  • Approximation Algorithms for Planning and Control, Proceedings of the Conference on Telerobotics sponsored by the Jet Propulsion Laboratory, Pasadena, CA, January 1989. With Thomas Dean.
  • Solving Time-Dependent Planning Problems, Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, Detroit, Michigan, 1989. With Thomas Dean.
  • Anytime Problem Solving Using Dynamic Programming, Proceedings of the Ninth National Conference on Artificial Intelligence, Anaheim, California, 1991.
  • Managing Disjunction for Practical Temporal Reasoning, Third Int. Conf. on Principles of Knowledge Representation and Reasoning, 1992. With Robert Schrag and Jim Carciofini.
  • Scheduling with Partial Orders and a Causal Model, Space Operations Application and Research Symposium, August, 1992. With Jim Carciofini and George Hadden.
  • Nonlinear Classical Planning in Complex Domains, AAAI Spring Symposium on the Foundations of Planning, 1993.
  • Temporal Reasoning for Planning and Scheduling, ACM SIGART Bulletin, V. 4, N. 3., 1993.
  • Investigations of Model-Preference Defaults, Fundamenta Informatica, 1993. With Robert Goldman, Keiji Kanazawa, and Lynn Andrea Stein.
  • Decision-Theoretic Deliberation Scheduling for Problem Solving in Time-Constrained Environments, Artificial Intelligence 67, 1994. With Thomas Dean.
  • Representing Uncertainty in Simple Planners, Principles of Knowledge Representation and Reasoning: Proceedings of the Fourth International Conference (KR94). With Robert Goldman.
  • Conditional Linear Planning, Proceedings of the Second International Conference on Artificial Intelligence Planning Systems (AIPS-94). With Robert Goldman.
  • Planning Applications in Image Analysis, Proceedings of the 1994 Goddard Space Flight Conference. Also published in Robotics and Computer-Integrated Mfg, V. 11, No. 2, 1994, Elsevier Press. With Robert Goldman and James White.
  • Integrated Planning and Scheduling for the EOS Core System (ECS), Proceedings of the 1995 Goddard Space Flight Conference. With Robert Goldman, Nick Short, and James White.
  • Epsilon-safe Planning, the 1994 Conference on Uncertainty in Artificial Intelligence, Seattle, WA. With Robert Goldman.
  • Empirical Results on Scheduling and Dynamic Backtracking, Planning and Scheduling Workshop at the International Symposium on Artificial Intelligence, Robotics, and Automation for Space, Pasadena, 1994. With Robert Goldman.
  • Constraint Based Scheduling for the Goddard Space Flight Center Version 0 Distributed Active Archive CenterÕs Data Archive and Distribution System (GSFC DAAC DADS), 1994 Goddard Conference on Mass Storage.
  • Constraint-Based Scheduling for Batch Manufacturing, IEEE Expert, 1996. With Robert Goldman.
  • Expressive Planning and Explicit Knowledge, 1996 Conference on AI Planning Systems. With Robert Goldman.
  • Temporal Reasoning for Planning and Scheduling: Lessons Learned, in "Advanced Planning Technology", AAAI Press, 1996, ISBN 0-929280-98-9.
  • Dynamic Abstraction Planning, Proceedings AAAI 1997. With Robert P. Goldman, David J. Musliner, and Kurt D. Krebsbach.
  • The Link Between Distributed Planning and Abstraction, 1997 Fall Symposium on Model- directed Autonomous Systems. With Robert Goldman, Kurt Krebsbach, David Musliner.
  • Hybrid Reasoning for Complex Systems, 1997 Fall Symposium on Model-directed Autonomous Systems. With Kurt Krebsbach.
  • Abstraction for Real-time Intelligent Control (extended abstract), w. Kurt Krebsbach, Robert Goldman, David Musliner, SARA-98.
  • A New Method for the Solution of Large Systems of Continuous Constraints, Mark Boddy and Daniel P. Johnson, 1st International Workshop on Global Constrained Optimization and Constraint Satisfaction (COCOS-02), 2002.
  • A Method for Global Optimization of Large Systems of Quadratic Constraints, Nitin Lamba, Mark Dietz, Daniel P. Johnson, Mark Boddy, 2nd International Workshop on Global Constrained Optimization and Constraint Satisfaction (COCOS-03), 2003.
  • Imperfect Match: PDDL 2.1 and Real Applications,Journal of Artificial Intelligence Research, vol., 20, 2003.
  • Course of Action Generation for Cyber Security Using Classical Planning, Mark Boddy, Johnathan Gohde, Thomas Haigh, Steven Harp, ICAPS-05.

Invited Talks

  • Resource-Bounded Planning and Control, IBM T.J. Watson Research Center, December, 1989.
  • Planning and Problem Solving with Resource Constraints, University of Chicago Computer Science Dept., October, 1991.
  • Flexible Temporal Representations for Practical Planning and Scheduling, NASA Goddard Space Flight Center, March 1993.
  • Construction of Conditional Plans with Bounded Risk, NASA Ames Research Center, June, 1993.
  • Scheduling in the Large Using Heuristic Search, University of Minnesota Department of Computer Science Colloquium, April 1994.
  • Constraint-Based Scheduling in the Real World, MIT Joint Colloquium on AI and Theory of Computation, 2/96, Brown University CS Colloquium, 2/96.
  • Constraint-based Scheduling in the Real World: what works, what does not, and why, IAAI invited speaker, 8/96.
  • New methods for planning and scheduling: research results, technology transfer and domain expertise, Het Instrument, Netherlands, 10/96.
  • Scheduling as Hybrid Reasoning, NASA Ames, 5/97
  • Practical Temporal Reasoning for Real Scheduling Applications, Time-97 Keynote Address, 5/97.
  • Integrating Timeline and Constraint Envelope Scheduling, NASA Ames, 6/98.
  • Refinery Operations: Planning and Scheduling with a Complex Continuous Model, AIPS-02 Workshop on Planning with Multiple Criteria, 4/02.
  • Recent Developments in Hybrid Reasoning for Planning and Scheduling, at the 3d International NASA Workshop on Planning and Scheduling for Space, 10/02. Also presented as a colloquium at UNL, 11/02.
  • Planning and Scheduling Research at NASA: an assessment, NASA IS program review, 2/03.
  • Course of Action Generation for Cyber Security Using Classical Planning, University of Minnesota, 2/07/2005.

Tutorials

  • Tutorial on Temporal Reasoning, AAAI-96
  • Tutorial on Constraint-Based Scheduling, ACC-01
  • Tutorial on Domain Modeling for Planning, ICAPS-05, AAAI-07

Abstracts and Panels

  • Solving Time-Dependent Planning Problems, AAAI Spring Symposium on Robot Navigation, 1989.
  • Temporal Database Management for Applications in Robot Planning, Workshop on High Level Tools for Knowledge Based Systems, October 1986.
  • Managing Complex Computations Under Resource Constraints, Workshop on Real-Time Knowledge- Based Control Systems, AAAI-90.
  • Managing Disjunction for Practical Temporal Reasoning, AAAI Spring Symposium on Practical Approaches to Scheduling and Planning, 1992.
  • Planning with Observations and Knowledge, Robert Goldman, Mark Boddy and Louise Pryor, Working Notes of the AAAI-96 workshop on Theories of Action, Planning and Control: Bridging the Gap.
  • Scheduling Research and Applications at HTC, Mark Boddy and Mark Ringer, 1997 NASA Workshop on Planning and Scheduling for Space.
  • Resource-Bounded Reasoning for Complex Embedded Systems, 1997 AAAI Workshop on Implemented Systems for Resource-Bounded Reasoning.
  • Contract-Based Distributed Scheduling for Distributed Processing, David J. Musliner, Mark S. Boddy, Working Notes of the 1997 AAAI Workshop on Constraints and Agents.
  • Opportunities and Requirements for Multi-Agent Systems in the Process Industries, Agents-98, Workshop on Agents in Manufacturing.
  • The CIRCA Model of Planning and Execution, Robert P. Goldman, David J. Musliner, Mark S. Boddy, Kurt D.Krebsbach, in Working Notes of the AAAI Workshop on Robots, Softbots, Immobots: Theories of Action, Planning and Control, 1997.
  • Panelist, 1993 Spring Symposium on Classical Planning.
  • Panel Moderator, 1994 AAAI Spring Symposium on Decision Theoretic Planning
  • Panel Moderator, International Symposium on Artificial Intelligence, Robotics, and Automation for Space, 1994.
  • Panelist, College of AI and Management Science Panel on Intelligent Scheduling, 10/95
  • Panelist, SEKE-98 Panel on Knowledge Engineering for Large Systems.
  • Panelist, IJCAI-01 Workshop on Planning with Resources.
  • Panelist, ICAPS-03.
  • Panelist, IWPSS-04 panel on Onboard vs. Off-board Planning.
  • Collaborative Filtering for Community Threats,Robert Goldman, Mark Boddy, Thomas Haigh, Steven Harp, poster at 2005 Spring Symposium on AI for Homeland Security.
  • Towards a Method for the Construction of Robust, Compiled Autonomous Spacecraft Executives, Mark Boddy, Steven Harp, Kyle Nelson, poster at IWPSS-04.

Technical Reports

  • Incremental Causal Reasoning, Brown University Department of Computer Science Technical Report CS-87-01, January, 1987. An extended version of the AAAI-87 paper. With Thomas Dean.
  • Solving Time-Dependent Planning Problems, Brown University Department of Computer Science Technical Report CS-89-03, 1989. An extended version of the IJCAI-89 paper. With Tom Dean
  • Investigations of Model-Preference Defaults, Brown University Department of Computer Science Technical Report CS-89-13, 1989. With Lynn Andrea Stein, Robert Goldman, and Keiji Kanazawa.
  • Solving Time-Dependent Problems: A Decision-Theoretic Approach to Planning in Dynamic Environments (thesis), Brown University Department of Computer Science Technical Report CS-91-06, 1991.
  • Boddy, M.S., Bennett, B.H., Isle, B.A., Isle, R. A., "NASA Planning and Scheduling Applications: Emerging Technologies and Mission Trends ", Final Report, NASA Grant NAG-2-1631, May 28, 2004.
  • Boddy, M.S., Harp, S.A., and Nelson, K.S., "CLOCKWORK: Requirements Definition and Technology Evaluation for Robust, Compiled Autonomous Spacecraft Executives", Final Report, NASA Grant NAG-2-1624, January 15, 2004.
  • Department of Energy, Sensors and Automation Annual Review - Assessment Study: Sensors and Automation in the Industries of the Future, Boddy, M.S., Doyle, F., Jamshidi, M., and Ogunnaike, T., June, 2003.
  • Automated Vulnerability Analysis Using AI Planning,Steven Harp, Johnathan Gohde, Thomas Haigh, Mark Boddy, 2005 AAAI Spring Symposium on AI for Homeland Security.

Program committees

  • AAAI: 1994, 1996, 1999, 2005, 2006, 2007, 2008
  • Conference on Uncertainty and AI: 1995, 1996, 1997, 1998.
  • Conference on AI Planning Systems, 1998
  • International Workshop on Temporal Representation and Reasoning: 1996, 1998, 1999, 2000, 2001, 2002.
  • Midwest Conference on AI and Cognitive Science, 1997.
  • Conference on Knowledge Representation and Reasoning: 1998.
  • International Conf on Automated Planning and Scheduling, 2003 (program committee and workshop chair), 2004, 2005, 2006, 2008. Conference chair, 2007.
  • International Workshop on Planning and Scheduling for Space, 2004, 2009.
  • Self-Adaptive and Self Organizing Systems (SASO), 2008.
  • IJCAI, 2009.
  • AAMAS, 2009.
  • IAAI, 2009.

Professional Reviewing

  • Artificial Intelligence Journal
  • IEEE Transactions on Pattern Analysis and Machine Intelligence
  • Computational Intelligence
  • Journal of Artificial Intelligence Research editorial board
  • Data and Knowledge Engineering Journal
  • NASA Intelligent Systems, external program reviewer
  • NSF proposal reviews
  • IJCAI: 1989, 1991, 1993, 1995, 2003.
  • AAAI: 1988, 1990, 1991, 1992.
  • iSAIRAS, 2002.

Workshop Organizing

  • Organizer and chair, Workshop on Implementing Temporal Reasoning, AAAI-92.
  • Organizing Committee, Second Space Station Freedom Scheduling Workshop, NASA Marshall Space Flight Center, December 1992.
  • Organizer and Chair: Workshop on AI Approaches to Modeling and Scheduling Manufacturing Processes, at the 1994 IEEE Conference on Tools with Artificial Intelligence.
  • Organizing committee: Workshop on Planning and Scheduling, at the 1994 International Symposium on Artificial Intelligence, Robotics, and Automation for Space.
  • Organizer and co-chair, Goddard EOSDIS conference, 4/95.
  • Organizing committee, IJCAI workshops on Deliberation Scheduling and Intelligent mfg. (two different workshops), 1995.
  • Organizing Committee, 1996 AI and Manufacturing Research Planning Workshop, 6/96
  • Organizing Committee, 1998 SIGMAN Workshop on AI and Manufacturing, 9/98
  • Co-organizer of workshop on Agents and Manufacturing, at Agents-98
  • Organizing Committee, 1999 IJCAI Workshop: Scheduling and Planning Meet Real-time Monitoring in a Dynamic and Uncertain World
  • Organizing Committee, 2002 AIPS Workshop on Planning with Multiple Criteria
  • Co-chair, ICAPS-04 Workshop on Integrating Planning Into Scheduling.
  • Organizing Committee, ICAPS-05 Workshop on Plan Execution: A Reality Check.
  • Co-chair, AAAI-05 Workshop on Integrating Planning Into Scheduling.

Other Professional Activities

  • Member AAAI
  • Co-chair: AAAI SIG on Intelligent Manufacturing, 1992--1997