like the thing Sagan drove in Cosmos

So you, too, noticed that Ellie was a character that embodied Carl's personality and values, but was deliberately made female to throw us off the trail?That was Contact. Cosmos was the TV show.