Mike Hinchey

About

Mike Hinchey is a prominent computer scientist whose research sits at the intersection of autonomous systems, space exploration software, and formal methods. He has made significant contributions to the development of autonomic and self-managing systems, particularly in the context of NASA missions, where reliability, safety, and independence from human oversight are paramount. His influential work on the ANTS (Autonomous Nano Technology Swarm) mission concept — exploring how swarms of cooperative robotic spacecraft might navigate the asteroid belt — helped establish foundational thinking around emergent systems and multi-agent coordination in deep space environments. Hinchey has also advanced the field of dynamic software product lines and dynamic variability, addressing how robotic and autonomous systems can adapt to evolving scenarios without prohibitive engineering costs. His research into formal requirements-based programming and verification of emergent systems reflects a rigorous commitment to correctness and provability in complex software. With papers accumulating citations across autonomy requirements engineering, cognitive robotics, and self-protection in autonomic agents, his body of work has shaped how researchers and engineers approach the challenges of building trustworthy, self-directed systems for both terrestrial robotics and the frontier of space exploration.

Research Focus

Key Achievements

Top Papers

1. 1
   Engineering Ultimate Self-Protection in Autonomic Agents for Space Exploration Missions

   36 citations · 2005
2. 2
   Asteroid exploration with autonomic systems

   31 citations · 2004
3. 3
   Dynamic Software Product Lines

   28 citations · 2013
4. 4
   Verification of NASA Emergent Systems

   28 citations · 2004
5. 5
   On the autonomy requirements for space missions

   21 citations · 2013
6. 6
   Dynamic Variability Meets Robotics

   19 citations · 2015
7. 7
   Autonomy requirements engineering

   18 citations · 2013
8. 8
   Knowledge Representation for Cognitive Robotic Systems

   17 citations · 2012
9. 9
   Formal requirements-based programming for complex systems

   16 citations · 2005
10. 10
    Verification of NASA emergent systems

    15 citations · 2004

Key Collaborators

Contact & Links