When the first American steps on the red dust of Mars, it's going to be because of computer scientists.