I don't think so; I've looked up the story, and what I remember doesn't match the setting of the summary I've seen of that novel — assuming it was the Peter Watts novel, because while I kinda assumed you wouldn't have meant the Lisa Fipps novel of the same name, there may be others with that name which I just don't know about.