People generally seem to assume that mathematical and CS theorems are named after men rather than women. I'd be surprised if most programmers could tell you that Liskov (of Liskov's substitution principle) was female.