When we think about space exploration, we tend to ignore the people who write the software that keeps the satellites orbiting and the rockets on track.