Robin is a name used by both sexes, e.g. Robin Wright and Robin Williams. Additionally, the author's website indicates they belonged to an organization for women.