Those names are for the people who did motion capture, there were no actual actors. The only human elements used were the faces of various programmers and people who were used as faces for the characters.

On that note, Dave Michicich's wife Tamara's face was used on Tanya.