Alright, I think we've actually settled on another name, just as nerdy (and for which Robbie will surely approve):
Dax
Now it's just getting her to realize her name...