Mark Boddy, Ph.D.

Dr. Mark Boddy is co-owner and Chief Scientist at Adventium Labs, a small, for-profit research lab located in Minneapolis, MN, which he joined in late 2002 as employee # 3. Boddy was awarded a Ph.D. in Computer Science in 1991 by Brown University, with an undergraduate degree in Physics. He is an internationally recognized expert in several areas of computer science research, including planning and scheduling, automated reasoning, and constraint-based reasoning. Over the years, most of his work has been on adapting and extending techniques from a broad variety of research areas for application to a range of problems, primarily in planning and scheduling domains. This work has drawn from and in some cases contributed to research in constraint satisfaction, heuristic search, mathematical optimization, classical planning and extensions thereto, temporal reasoning, multi-agent cooperative negotiation, resource-bounded reasoning, and a number of other areas. He was one of the authors of the papers that coined the widely-used terms "anytime algorithm," "performance profile" and "conformant planning."
At Adventium, Boddy's current and recently-led projects include: applying constraint-based methods to increase the mission effectiveness of cloud-based computing; using previous execution information to improve route planning; model integration and meta-modeling for the design of complex cyber-physical systems; tools for UAV flight certification using structured probabilistic evidence; applying learning in hierarchical Bayes nets to move prediction for computer Go players; and providing high-level performance guarantees for robust, reconfigurable autonomous systems for manned space operations, as well as serving as technical consultant for a wide range of other projects at Adventium and other companies. In his previous role as Research Fellow at Honeywell Labs, Boddy led teams of up to a dozen engineers in solving technical problems and applying the results to Honeywell products, including the first-ever implementation of an effective scheduling system for an entire petroleum refinery. He was also involved in delivering an avionics processor and communications scheduling tool for the Boeing 777, which required solving a scheduling problem of a scale and complexity far beyond the current state of the art at that time. Developed and delivered in 1994, this system has been extended to application to other airframes, and is still in use today. While at Honeywell, he won the H.W. Sweatt Award (Honeywell's highest engineering honor) in 2000.
Boddy has a long history of research contributions and service, including an extensive publication record, tutorial presentations, invited talks, and reviewing for both conferences and journal publications. He has served as an external program reviewer for NASA, the National Science Foundation, and the Air Force Office of Scientific Research, was co-chair for the 2007 International Conference on Automated Planning and Scheduling and is a past member of the Editorial Board of the Journal of Artificial Intelligence Research.

Ph.D. in Computer Science, Brown University, May 1991.
M.Sc. in Computer Science, Brown University, May 1987.
B.S. in Physics, Haverford College, May 1981.
Email Address: