Dora: A female name abbreviated from Theodora.

---