Principal Investigator

Mark Boddy
Adventium Enterprises, LLC

Ph.D., Computer Science, Brown University
M.Sc., Computer Science, Brown University
B.S., Physics, Haverford College

Professional Experience
Mark Boddy is the Chief Scientist and co-owner of Adventium Labs. His primary research focus has been on adapting and extending techniques from a variety of research areas for application to a range of problems. This work both draws from and contributes to research in constraint satisfaction, heuristic search, mathematical optimization, 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”.

Relevant current and recent projects
Among a wide range of other activities, Mark was the Principal Investigator of the NASA-funded System Level Autonomy Trust Enabler (SLATE) SBIR, which has lead to numerous follow-on projects for NASA, DARPA, and other agencies. He is also contributing to maturing the NASA-funded Action Notation Modeling Language (ANML) planning language. In his previous role as Research Fellow at Honeywell Labs, Mark was centrally involved in delivering an avionics processor and communications scheduling tool for the Boeing 777. Collectively, projects under his lead have developed techniques for providing high-level performance guarantees for robust, reconfigurable autonomous systems for manned space operations; constraint-based methods to increase the mission effectiveness of cloud-based computing; tools for model integration and meta-modeling for the design of complex cyber-physical systems; and tools for UAV flight certification using structured probabilistic evidence.

Professional Activities
Mark has published dozens of peer-reviewed articles, presented tutorials on planning, temporal reasoning and constraint-based reasoning at international conferences, and given numerous invited talks. He has served on program committees for a wide range of technical conferences, as a journal reviewer for Artificial Intelligence Journal, Computational Intelligence, IEEE Transactions on Pattern Recognition and Machine Intelligence, and the Journal of Artificial Intelligence Research, and as a program reviewer for NASA, the National Science Foundation, and the Air Force Office of Scientific Research. He was awarded the H.W. Sweatt Award (Honeywell’s highest engineering honor) in 2000.

to top